Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TaskTerminalWidget

Hierarchy

  • TerminalWidget
    • TaskTerminalWidget

Index

Properties

Properties

Optional busy

busy?: boolean

Optional dedicated

dedicated?: boolean

Readonly kind

kind: "task"

Optional taskConfig

taskConfig?: TaskConfiguration

Optional taskId

taskId?: number