diff options
author | gentoo90 <[email protected]> | 2019-01-05 15:28:41 +0000 |
---|---|---|
committer | gentoo90 <[email protected]> | 2019-01-05 15:28:41 +0000 |
commit | a6e04cfa7fbc2baaf5fabb8a07093034d4d761e4 (patch) | |
tree | 43a703571f0e10dc619bbab959be002c9970c676 /editors/code/src/config.ts | |
parent | 8d51b02362109d71355aed63d48b5e7ccd0e51f4 (diff) |
Allow user to set path to ra_lsp_server in vscode settings
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 | } |