Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TaskTerminalWidgetOpenerOptions

Hierarchy

  • WidgetOpenerOptions
    • TaskTerminalWidgetOpenerOptions

Index

Properties

taskConfig?: TaskConfiguration
taskInfo?: TaskInfo