Interface TaskTerminalWidget

interface TaskTerminalWidget {
    busy?: boolean;
    dedicated?: boolean;
    kind: "task";
    taskConfig?: TaskConfiguration;
    taskId?: number;
}

Hierarchy

  • TerminalWidget
    • TaskTerminalWidget

Properties

busy? dedicated? kind taskConfig? taskId?

Properties

Optional busy

busy?: boolean

Optional dedicated

dedicated?: boolean

Readonly kind

kind: "task"

Optional taskConfig

taskConfig?: TaskConfiguration

Optional taskId

taskId?: number

Settings

Member Visibility

Theme

On This Page

busydedicatedkindtaskConfigtaskId