aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/config.ts
diff options
context:
space:
mode:
authorgentoo90 <[email protected]>2019-01-05 15:28:41 +0000
committergentoo90 <[email protected]>2019-01-05 15:28:41 +0000
commita6e04cfa7fbc2baaf5fabb8a07093034d4d761e4 (patch)
tree43a703571f0e10dc619bbab959be002c9970c676 /editors/code/src/config.ts
parent8d51b02362109d71355aed63d48b5e7ccd0e51f4 (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.ts5
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
5export class Config { 5export 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}