diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 7d05ea078..cd0c6e6e2 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -4,6 +4,7 @@ import { Server } from './server'; | |||
4 | 4 | ||
5 | export class Config { | 5 | export class Config { |
6 | public highlightingOn = true; | 6 | public highlightingOn = true; |
7 | public raLspServerPath = 'ra_lsp_server'; | ||
7 | 8 | ||
8 | constructor() { | 9 | constructor() { |
9 | vscode.workspace.onDidChangeConfiguration(_ => | 10 | vscode.workspace.onDidChangeConfiguration(_ => |
@@ -21,5 +22,9 @@ export class Config { | |||
21 | if (!this.highlightingOn && Server) { | 22 | if (!this.highlightingOn && Server) { |
22 | Server.highlighter.removeHighlights(); | 23 | Server.highlighter.removeHighlights(); |
23 | } | 24 | } |
25 | |||
26 | if (config.has('raLspServerPath')) { | ||
27 | this.raLspServerPath = config.get('raLspServerPath') as string; | ||
28 | } | ||
24 | } | 29 | } |
25 | } | 30 | } |