Theia API Documentation v1.66.0
    Preparing search index...
    interface NotebookEditorPropertiesChangeData {
        selections?: NotebookSelectionChangeEvent;
        visibleRanges?: NotebookVisibleRangesEvent;
    }
    Index

    Properties