Hide cancellation button

runtimeverification · Nov 11, 2024 · bdba146 · bdba146
1 parent b7dc083
commit bdba146
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/src/startDebugging.ts b/src/startDebugging.ts
@@ -14,13 +14,8 @@ export async function startDebugging(
 ) {
   return await vscode.window.withProgress({
     location: vscode.ProgressLocation.Notification,
-    title: "Simbolik",
-    cancellable: true
-  }, async (progress, token) => {
-    token.onCancellationRequested(() => {
-      throw new Error('Debugging session aborted on user request.');
-    });
-
+    title: "Simbolik"
+  }, async (progress) => {
     const activeTextEditor = vscode.window.activeTextEditor;
     if (!activeTextEditor) {
       throw new Error('No active text editor.');