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

    A filter that prevents firing the onDidCreate event for certain models. Preventing this event from firing will also prevent the propagation of the model to the plugin host.

    This is useful for models that are not supposed to be opened in a dedicated monaco editor widgets. This includes models for notebook cells.

    interface MonacoEditorModelFilter {
        filter(model: MonacoEditorModel): boolean;
    }

    Implemented by

    Index

    Methods

    Methods