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

    Interface NotificationConfiguration

    interface NotificationConfiguration {
        "notification.timeout": number;
    }
    Index

    Properties

    notification.timeout

    Properties

    "notification.timeout": number

    Settings

    Member Visibility

    On This Page

    Properties