diff options
Diffstat (limited to 'editors/code/src/commands')
-rw-r--r-- | editors/code/src/commands/runnables.ts | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/editors/code/src/commands/runnables.ts b/editors/code/src/commands/runnables.ts index be17c8944..f9a4e2fc9 100644 --- a/editors/code/src/commands/runnables.ts +++ b/editors/code/src/commands/runnables.ts | |||
@@ -103,3 +103,19 @@ export async function handle() { | |||
103 | return await vscode.tasks.executeTask(task); | 103 | return await vscode.tasks.executeTask(task); |
104 | } | 104 | } |
105 | } | 105 | } |
106 | |||
107 | export async function handleSingle(runnable: Runnable) { | ||
108 | const editor = vscode.window.activeTextEditor; | ||
109 | if (editor == null || editor.document.languageId !== 'rust') { | ||
110 | return; | ||
111 | } | ||
112 | |||
113 | const task = createTask(runnable); | ||
114 | task.group = vscode.TaskGroup.Build; | ||
115 | task.presentationOptions = { | ||
116 | reveal: vscode.TaskRevealKind.Always, | ||
117 | panel: vscode.TaskPanelKind.Dedicated, | ||
118 | }; | ||
119 | |||
120 | return vscode.tasks.executeTask(task); | ||
121 | } \ No newline at end of file | ||