aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorJeremy Kolb <[email protected]>2019-01-12 23:49:07 +0000
committerJeremy Kolb <[email protected]>2019-01-12 23:49:07 +0000
commit2a1cb52c994f5becb1a52d45b869d6ad0a36d713 (patch)
treeccb861cc9e6fffaa96e5e3b2504f6e1b87bb7db4 /editors
parenteb931c0d9e0877e573622253ae5b05563841037b (diff)
npm fix run
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/commands/apply_source_change.ts4
-rw-r--r--editors/code/src/commands/on_enter.ts1
-rw-r--r--editors/code/src/commands/runnables.ts14
-rw-r--r--editors/code/src/extension.ts6
4 files changed, 16 insertions, 9 deletions
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts
index d96ace979..675a534c8 100644
--- a/editors/code/src/commands/apply_source_change.ts
+++ b/editors/code/src/commands/apply_source_change.ts
@@ -10,7 +10,9 @@ export interface SourceChange {
10} 10}
11 11
12export async function handle(change: SourceChange) { 12export async function handle(change: SourceChange) {
13 const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit(change.workspaceEdit); 13 const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit(
14 change.workspaceEdit
15 );
14 let created; 16 let created;
15 let moved; 17 let moved;
16 if (change.workspaceEdit.documentChanges) { 18 if (change.workspaceEdit.documentChanges) {
diff --git a/editors/code/src/commands/on_enter.ts b/editors/code/src/commands/on_enter.ts
index 64401b684..bb376e3cb 100644
--- a/editors/code/src/commands/on_enter.ts
+++ b/editors/code/src/commands/on_enter.ts
@@ -6,7 +6,6 @@ import {
6 SourceChange 6 SourceChange
7} from './apply_source_change'; 7} from './apply_source_change';
8 8
9
10export async function handle(event: { text: string }): Promise<boolean> { 9export async function handle(event: { text: string }): Promise<boolean> {
11 const editor = vscode.window.activeTextEditor; 10 const editor = vscode.window.activeTextEditor;
12 if ( 11 if (
diff --git a/editors/code/src/commands/runnables.ts b/editors/code/src/commands/runnables.ts
index f9a4e2fc9..aa5817c21 100644
--- a/editors/code/src/commands/runnables.ts
+++ b/editors/code/src/commands/runnables.ts
@@ -48,7 +48,11 @@ function createTask(spec: Runnable): vscode.Task {
48 cwd: '.', 48 cwd: '.',
49 env: definition.env 49 env: definition.env
50 }; 50 };
51 const exec = new vscode.ShellExecution(definition.command, definition.args, execOption); 51 const exec = new vscode.ShellExecution(
52 definition.command,
53 definition.args,
54 execOption
55 );
52 56
53 const f = vscode.workspace.workspaceFolders![0]; 57 const f = vscode.workspace.workspaceFolders![0];
54 const t = new vscode.Task( 58 const t = new vscode.Task(
@@ -59,7 +63,7 @@ function createTask(spec: Runnable): vscode.Task {
59 exec, 63 exec,
60 ['$rustc'] 64 ['$rustc']
61 ); 65 );
62 t.presentationOptions.clear = true 66 t.presentationOptions.clear = true;
63 return t; 67 return t;
64} 68}
65 69
@@ -114,8 +118,8 @@ export async function handleSingle(runnable: Runnable) {
114 task.group = vscode.TaskGroup.Build; 118 task.group = vscode.TaskGroup.Build;
115 task.presentationOptions = { 119 task.presentationOptions = {
116 reveal: vscode.TaskRevealKind.Always, 120 reveal: vscode.TaskRevealKind.Always,
117 panel: vscode.TaskPanelKind.Dedicated, 121 panel: vscode.TaskPanelKind.Dedicated
118 }; 122 };
119 123
120 return vscode.tasks.executeTask(task); 124 return vscode.tasks.executeTask(task);
121} \ No newline at end of file 125}
diff --git a/editors/code/src/extension.ts b/editors/code/src/extension.ts
index 9edfb13b5..0098c9454 100644
--- a/editors/code/src/extension.ts
+++ b/editors/code/src/extension.ts
@@ -37,8 +37,10 @@ export function activate(context: vscode.ExtensionContext) {
37 return await original(...args); 37 return await original(...args);
38 } 38 }
39 }); 39 });
40 } catch(_) { 40 } catch (_) {
41 vscode.window.showWarningMessage('Enhanced typing feature is disabled because of incompatibility with VIM extension'); 41 vscode.window.showWarningMessage(
42 'Enhanced typing feature is disabled because of incompatibility with VIM extension'
43 );
42 } 44 }
43 } 45 }
44 46