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

    Configuration options for OS notifications

    interface OSNotificationOptions {
        body?: string;
        data?: unknown;
        icon?: string;
        requireInteraction?: boolean;
        silent?: boolean;
        tag?: string;
    }
    Index

    Properties

    body?: string

    The notification body text

    data?: unknown

    Custom data to associate with the notification

    icon?: string

    Icon to display with the notification

    requireInteraction?: boolean

    Whether the notification requires user interaction to dismiss

    silent?: boolean

    Whether the notification should be silent

    tag?: string

    Tag to group notifications