Interface TaskTerminalWidget

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

Hierarchy

  • TerminalWidget
    • TaskTerminalWidget

Properties

busy?: boolean
dedicated?: boolean
kind: "task"
taskConfig?: TaskConfiguration
taskId?: number