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

    Interface KernelMessage

    interface KernelMessage {
        message: unknown;
        type: "customKernelMessage";
    }
    Index

    Properties

    message type

    Properties

    message: unknown
    type: "customKernelMessage"

    Settings

    Member Visibility

    On This Page

    Properties