Remove unneeded TraceViewerWidgetOpenerOptions

Author: jonahgraham

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',

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,