Merge pull request #5066 from ajaxorg/fix-types

restore Folding interface in typings
ajaxorg · Feb 23, 2023 · 338dacf · 338dacf
2 parents 16a13ce + cc98bdc
commit 338dacf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ace.d.ts b/ace.d.ts
@@ -414,7 +414,7 @@ export namespace Ace {
     column: number
   }
 
-  export interface EditSession extends EventEmitter, OptionsProvider {
+  export interface EditSession extends EventEmitter, OptionsProvider, Folding {
     selection: Selection;
 
     // TODO: define BackgroundTokenizer