aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/config.ts5
-rw-r--r--editors/code/src/server.ts2
2 files changed, 6 insertions, 1 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}
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index 75bdf3207..35fb7e3f5 100644
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -12,7 +12,7 @@ export class Server {
12 notificationHandlers: Iterable<[string, lc.GenericNotificationHandler]> 12 notificationHandlers: Iterable<[string, lc.GenericNotificationHandler]>
13 ) { 13 ) {
14 const run: lc.Executable = { 14 const run: lc.Executable = {
15 command: 'ra_lsp_server', 15 command: this.config.raLspServerPath,
16 options: { cwd: '.' } 16 options: { cwd: '.' }
17 }; 17 };
18 const serverOptions: lc.ServerOptions = { 18 const serverOptions: lc.ServerOptions = {