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

    Options to configure the message behavior.

    interface MessageOptions {
        detail?: string;
        modal?: boolean;
    }
    Index

    Properties

    Properties

    detail?: string

    Human-readable detail message that is rendered less prominent. Note that detail is only shown for modal messages.

    modal?: boolean

    Indicates that this message should be modal.