Remove unneeded TraceViewerWidgetOpenerOptions

eclipse-cdt-cloud · Dec 13, 2022 · 0e40ac1 · 0e40ac1
1 parent 1c6babd
commit 0e40ac1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/theia-extensions/viewer-prototype/src/browser/trace-viewer/trace-viewer-commands.ts b/theia-extensions/viewer-prototype/src/browser/trace-viewer/trace-viewer-commands.ts
@@ -33,10 +33,9 @@ export const OpenTraceWithRootPathCommand: Command = {
 /**
  * A command to open a trace in the trace viewer.
  *
- * The command takes two parameters:
+ * The command takes a parameter:
  *
  * path: a string containing the path to a trace
- * options: an optional TraceViewerWidgetOpenerOptions
  */
 export const OpenTraceWithPathCommand: Command = {
     id: 'open-trace-with-path',

diff --git a/theia-extensions/viewer-prototype/src/browser/trace-viewer/trace-viewer-contribution.ts b/theia-extensions/viewer-prototype/src/browser/trace-viewer/trace-viewer-contribution.ts
@@ -188,7 +188,7 @@ export class TraceViewerContribution extends WidgetOpenHandler<TraceViewerWidget
         });
         registry.registerCommand(OpenTraceWithPathCommand, {
             isVisible: () => false,
-            execute: (path: string, options: TraceViewerWidgetOpenerOptions) => path && this.open(new URI(path), options),
+            execute: (path: string) => path && this.open(new URI(path)),
         });
         registry.registerCommand(OpenTraceWithRootPathCommand, {
             isVisible: () => false,