update ace-linters version

mkslanc · Apr 1, 2023 · d30a198 · d30a198
1 parent a1b6674
commit d30a198
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 11 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -8,7 +8,7 @@
   "dependencies": {
     "ace-code": "latest",
     "ace-layout": "1.3.1",
-    "ace-linters": "^0.5.0",
+    "ace-linters": "^0.7.1",
     "typescript": "latest"
   },
   "devDependencies": {

diff --git a/src/linters/linters.ts b/src/linters/linters.ts
@@ -35,11 +35,22 @@ function correctDeclaration(declaration) {
     private readonly $messageController;
     private $sessionLanguageProviders;
     private $editors;
-    static fromCdn(cdnUrl: string): LanguageProvider;
+    static fromCdn(cdnUrl: string, options?:ProviderOptions): LanguageProvider;
     registerEditor(editor: Ace.Editor)
-    setOptions(session: Ace.EditSession, options);
+    setSessionOptions(session: Ace.EditSession, options);
     setGlobalOptions(serviceName, options, merge?:boolean)
-}
+}\n
+    declare interface ProviderOptions {
+        functionality: {
+            hover: boolean,
+            completion: {
+                overwriteCompleters: boolean    
+            } | false,
+            completionResolve: boolean,
+            format: boolean
+        },
+        markdownConverter?: MarkDownConverter
+    }
 `;
 }