Theia API Documentation v1.65.0
    Preparing search index...

    Interface TaskEndedInfo

    interface TaskEndedInfo {
        taskEndedType: TaskEndedTypes;
        value: undefined | number | boolean;
    }
    Index

    Properties

    taskEndedType value

    Properties

    taskEndedType: TaskEndedTypes
    value: undefined | number | boolean

    Settings

    Member Visibility

    On This Page

    Properties