@codingame/monaco-vscode-katex-common 25.1.1 → 26.0.0

package/vscode/src/vs/workbench/contrib/notebook/browser/contrib/find/notebookFindWidget.js

@@ -0,0 +1,364 @@
+
+import { __decorate, __param } from '@codingame/monaco-vscode-api/external/tslib/tslib.es6';
+import { append, addDisposableListener, EventType, isHTMLElement, getWindow, createTextNode } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/dom';
+import { alert } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/ui/aria/aria';
+import { KeyCode, KeyMod } from '@codingame/monaco-vscode-api/vscode/vs/base/common/keyCodes';
+import { Lazy } from '@codingame/monaco-vscode-api/vscode/vs/base/common/lazy';
+import { Disposable } from '@codingame/monaco-vscode-api/vscode/vs/base/common/lifecycle';
+import { format } from '@codingame/monaco-vscode-api/vscode/vs/base/common/strings';
+import { CONTEXT_FIND_WIDGET_VISIBLE, MATCHES_LIMIT } from '@codingame/monaco-vscode-api/vscode/vs/editor/contrib/find/browser/findModel';
+import { FindReplaceState } from '@codingame/monaco-vscode-api/vscode/vs/editor/contrib/find/browser/findState';
+import { NLS_MATCHES_LOCATION, NLS_NO_RESULTS } from '@codingame/monaco-vscode-api/vscode/vs/editor/contrib/find/browser/findWidget';
+import { FindWidgetSearchHistory } from '@codingame/monaco-vscode-api/vscode/vs/editor/contrib/find/browser/findWidgetSearchHistory';
+import { ReplaceWidgetHistory } from '@codingame/monaco-vscode-api/vscode/vs/editor/contrib/find/browser/replaceWidgetHistory';
+import { localize } from '@codingame/monaco-vscode-api/vscode/vs/nls';
+import { IConfigurationService } from '@codingame/monaco-vscode-api/vscode/vs/platform/configuration/common/configuration.service';
+import { IContextKeyService } from '@codingame/monaco-vscode-api/vscode/vs/platform/contextkey/common/contextkey.service';
+import { IContextViewService, IContextMenuService } from '@codingame/monaco-vscode-api/vscode/vs/platform/contextview/browser/contextView.service';
+import { IHoverService } from '@codingame/monaco-vscode-api/vscode/vs/platform/hover/browser/hover.service';
+import { IInstantiationService } from '@codingame/monaco-vscode-api/vscode/vs/platform/instantiation/common/instantiation';
+import { IStorageService } from '@codingame/monaco-vscode-api/vscode/vs/platform/storage/common/storage.service';
+import { FindModel } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/contrib/find/findModel';
+import { SimpleFindReplaceWidget } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/contrib/find/notebookFindReplaceWidget';
+import { CellEditState } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/notebookBrowser';
+import { KEYBINDING_CONTEXT_NOTEBOOK_FIND_WIDGET_FOCUSED } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/common/notebookContextKeys';
+
+const FIND_HIDE_TRANSITION = "find-hide-transition";
+const FIND_SHOW_TRANSITION = "find-show-transition";
+let MAX_MATCHES_COUNT_WIDTH = 69;
+const PROGRESS_BAR_DELAY = 200;
+let NotebookFindContrib = class NotebookFindContrib extends Disposable {
+    static {
+        this.id = "workbench.notebook.find";
+    }
+    constructor(notebookEditor, instantiationService) {
+        super();
+        this.notebookEditor = notebookEditor;
+        this.instantiationService = instantiationService;
+        this._widget = ( new Lazy(() => this._register(
+            this.instantiationService.createInstance(NotebookFindWidget, this.notebookEditor)
+        )));
+    }
+    get widget() {
+        return this._widget.value;
+    }
+    show(initialInput, options) {
+        return this._widget.value.show(initialInput, options);
+    }
+    hide() {
+        this._widget.rawValue?.hide();
+    }
+    replace(searchString) {
+        return this._widget.value.replace(searchString);
+    }
+    isVisible() {
+        return this._widget.rawValue?.isVisible ?? false;
+    }
+    findNext() {
+        if (this._widget.rawValue) {
+            this._widget.value.findNext();
+        }
+    }
+    findPrevious() {
+        if (this._widget.rawValue) {
+            this._widget.value.findPrevious();
+        }
+    }
+};
+NotebookFindContrib = ( __decorate([( __param(1, IInstantiationService))], NotebookFindContrib));
+let NotebookFindWidget = class NotebookFindWidget extends SimpleFindReplaceWidget {
+    constructor(
+        _notebookEditor,
+        contextViewService,
+        contextKeyService,
+        configurationService,
+        contextMenuService,
+        hoverService,
+        instantiationService,
+        storageService
+    ) {
+        const findSearchHistory = FindWidgetSearchHistory.getOrCreate(storageService);
+        const replaceHistory = ReplaceWidgetHistory.getOrCreate(storageService);
+        super(
+            contextViewService,
+            contextKeyService,
+            configurationService,
+            contextMenuService,
+            instantiationService,
+            hoverService,
+            ( new FindReplaceState()),
+            _notebookEditor,
+            findSearchHistory,
+            replaceHistory
+        );
+        this._isFocused = false;
+        this._showTimeout = null;
+        this._hideTimeout = null;
+        this._findModel = ( new FindModel(this._notebookEditor, this._state, this._configurationService));
+        append(this._notebookEditor.getDomNode(), this.getDomNode());
+        this._findWidgetFocused = KEYBINDING_CONTEXT_NOTEBOOK_FIND_WIDGET_FOCUSED.bindTo(contextKeyService);
+        this._findWidgetVisible = CONTEXT_FIND_WIDGET_VISIBLE.bindTo(contextKeyService);
+        this._register(this._findInput.onKeyDown(e => this._onFindInputKeyDown(e)));
+        this._register(this._replaceInput.onKeyDown(e => this._onReplaceInputKeyDown(e)));
+        this._register(this._state.onFindReplaceStateChange(e => {
+            this.onInputChanged();
+            if (e.isSearching) {
+                if (this._state.isSearching) {
+                    this._progressBar.infinite().show(PROGRESS_BAR_DELAY);
+                } else {
+                    this._progressBar.stop().hide();
+                }
+            }
+            if (this._findModel.currentMatch >= 0) {
+                const currentMatch = this._findModel.getCurrentMatch();
+                this._replaceBtn.setEnabled(currentMatch.isModelMatch);
+            }
+            const matches = this._findModel.findMatches;
+            this._replaceAllBtn.setEnabled(
+                matches.length > 0 && matches.find(match => match.webviewMatches.length > 0) === undefined
+            );
+            if (e.filters) {
+                this._findInput.updateFilterState(this._state.filters?.isModified() ?? false);
+            }
+        }));
+        this._register(addDisposableListener(this.getDomNode(), EventType.FOCUS, e => {
+            this._previousFocusElement = isHTMLElement(e.relatedTarget) ? e.relatedTarget : undefined;
+        }, true));
+    }
+    get findModel() {
+        return this._findModel;
+    }
+    get isFocused() {
+        return this._isFocused;
+    }
+    _onFindInputKeyDown(e) {
+        if (e.equals(KeyCode.Enter)) {
+            this.find(false);
+            e.preventDefault();
+            return;
+        } else if (e.equals(KeyMod.Shift | KeyCode.Enter)) {
+            this.find(true);
+            e.preventDefault();
+            return;
+        }
+    }
+    _onReplaceInputKeyDown(e) {
+        if (e.equals(KeyCode.Enter)) {
+            this.replaceOne();
+            e.preventDefault();
+            return;
+        }
+    }
+    onInputChanged() {
+        this._state.change({
+            searchString: this.inputValue
+        }, false);
+        const findMatches = this._findModel.findMatches;
+        if (findMatches && findMatches.length) {
+            return true;
+        }
+        return false;
+    }
+    findIndex(index) {
+        this._findModel.find({
+            index
+        });
+    }
+    find(previous) {
+        this._findModel.find({
+            previous
+        });
+    }
+    findNext() {
+        this.find(false);
+    }
+    findPrevious() {
+        this.find(true);
+    }
+    replaceOne() {
+        if (!this._notebookEditor.hasModel()) {
+            return;
+        }
+        if (!this._findModel.findMatches.length) {
+            return;
+        }
+        this._findModel.ensureFindMatches();
+        if (this._findModel.currentMatch < 0) {
+            this._findModel.find({
+                previous: false
+            });
+        }
+        const currentMatch = this._findModel.getCurrentMatch();
+        const cell = currentMatch.cell;
+        if (currentMatch.isModelMatch) {
+            const match = currentMatch.match;
+            this._progressBar.infinite().show(PROGRESS_BAR_DELAY);
+            const replacePattern = this.replacePattern;
+            const replaceString = replacePattern.buildReplaceString(match.matches, this._state.preserveCase);
+            const viewModel = this._notebookEditor.getViewModel();
+            viewModel.replaceOne(cell, match.range, replaceString).then(() => {
+                this._progressBar.stop();
+            });
+        } else {
+            console.error("Replace does not work for output match");
+        }
+    }
+    replaceAll() {
+        if (!this._notebookEditor.hasModel()) {
+            return;
+        }
+        this._progressBar.infinite().show(PROGRESS_BAR_DELAY);
+        const replacePattern = this.replacePattern;
+        const cellFindMatches = this._findModel.findMatches;
+        const replaceStrings = [];
+        cellFindMatches.forEach(cellFindMatch => {
+            cellFindMatch.contentMatches.forEach(match => {
+                const matches = match.matches;
+                replaceStrings.push(replacePattern.buildReplaceString(matches, this._state.preserveCase));
+            });
+        });
+        const viewModel = this._notebookEditor.getViewModel();
+        viewModel.replaceAll(this._findModel.findMatches, replaceStrings).then(() => {
+            this._progressBar.stop();
+        });
+    }
+    findFirst() {}
+    onFocusTrackerFocus() {
+        this._findWidgetFocused.set(true);
+        this._isFocused = true;
+    }
+    onFocusTrackerBlur() {
+        this._previousFocusElement = undefined;
+        this._findWidgetFocused.reset();
+        this._isFocused = false;
+    }
+    onReplaceInputFocusTrackerFocus() {}
+    onReplaceInputFocusTrackerBlur() {}
+    onFindInputFocusTrackerFocus() {}
+    onFindInputFocusTrackerBlur() {}
+    async show(initialInput, options) {
+        const searchStringUpdate = this._state.searchString !== initialInput;
+        super.show(initialInput, options);
+        this._state.change({
+            searchString: initialInput ?? this._state.searchString,
+            isRevealed: true
+        }, false);
+        this._findWidgetVisible.set(true);
+        if (typeof options?.matchIndex === "number") {
+            if (!this._findModel.findMatches.length) {
+                await this._findModel.research();
+            }
+            this.findIndex(options.matchIndex);
+        } else if (options?.focus !== false) {
+            this._findInput.select();
+        }
+        if (!searchStringUpdate && options?.searchStringSeededFrom) {
+            this._findModel.refreshCurrentMatch(options.searchStringSeededFrom);
+        }
+        if (this._showTimeout === null) {
+            if (this._hideTimeout !== null) {
+                getWindow(this.getDomNode()).clearTimeout(this._hideTimeout);
+                this._hideTimeout = null;
+                this._notebookEditor.removeClassName(FIND_HIDE_TRANSITION);
+            }
+            this._notebookEditor.addClassName(FIND_SHOW_TRANSITION);
+            this._showTimeout = getWindow(this.getDomNode()).setTimeout(() => {
+                this._notebookEditor.removeClassName(FIND_SHOW_TRANSITION);
+                this._showTimeout = null;
+            }, 200);
+        }
+    }
+    replace(initialFindInput, initialReplaceInput) {
+        super.showWithReplace(initialFindInput, initialReplaceInput);
+        this._state.change({
+            searchString: initialFindInput ?? "",
+            replaceString: initialReplaceInput ?? "",
+            isRevealed: true
+        }, false);
+        this._replaceInput.select();
+        if (this._showTimeout === null) {
+            if (this._hideTimeout !== null) {
+                getWindow(this.getDomNode()).clearTimeout(this._hideTimeout);
+                this._hideTimeout = null;
+                this._notebookEditor.removeClassName(FIND_HIDE_TRANSITION);
+            }
+            this._notebookEditor.addClassName(FIND_SHOW_TRANSITION);
+            this._showTimeout = getWindow(this.getDomNode()).setTimeout(() => {
+                this._notebookEditor.removeClassName(FIND_SHOW_TRANSITION);
+                this._showTimeout = null;
+            }, 200);
+        }
+    }
+    hide() {
+        super.hide();
+        this._state.change({
+            isRevealed: false
+        }, false);
+        this._findWidgetVisible.set(false);
+        this._findModel.clear();
+        this._notebookEditor.findStop();
+        this._progressBar.stop();
+        if (this._hideTimeout === null) {
+            if (this._showTimeout !== null) {
+                getWindow(this.getDomNode()).clearTimeout(this._showTimeout);
+                this._showTimeout = null;
+                this._notebookEditor.removeClassName(FIND_SHOW_TRANSITION);
+            }
+            this._notebookEditor.addClassName(FIND_HIDE_TRANSITION);
+            this._hideTimeout = getWindow(this.getDomNode()).setTimeout(() => {
+                this._notebookEditor.removeClassName(FIND_HIDE_TRANSITION);
+            }, 200);
+        }
+        if (this._previousFocusElement && this._previousFocusElement.offsetParent) {
+            this._previousFocusElement.focus();
+            this._previousFocusElement = undefined;
+        }
+        if (this._notebookEditor.hasModel()) {
+            for (let i = 0; i < this._notebookEditor.getLength(); i++) {
+                const cell = this._notebookEditor.cellAt(i);
+                if (cell.getEditState() === CellEditState.Editing && cell.editStateSource === "find") {
+                    cell.updateEditState(CellEditState.Preview, "closeFind");
+                }
+            }
+        }
+    }
+    _updateMatchesCount() {
+        if (!this._findModel || !this._findModel.findMatches) {
+            return;
+        }
+        this._matchesCount.style.minWidth = MAX_MATCHES_COUNT_WIDTH + "px";
+        this._matchesCount.title = "";
+        this._matchesCount.firstChild?.remove();
+        let label;
+        if (this._state.matchesCount > 0) {
+            let matchesCount = String(this._state.matchesCount);
+            if (this._state.matchesCount >= MATCHES_LIMIT) {
+                matchesCount += "+";
+            }
+            const matchesPosition = this._findModel.currentMatch < 0 ? "?" : String((this._findModel.currentMatch + 1));
+            label = format(NLS_MATCHES_LOCATION, matchesPosition, matchesCount);
+        } else {
+            label = NLS_NO_RESULTS;
+        }
+        this._matchesCount.appendChild(createTextNode(label));
+        alert(
+            this._getAriaLabel(label, this._state.currentMatch, this._state.searchString)
+        );
+        MAX_MATCHES_COUNT_WIDTH = Math.max(MAX_MATCHES_COUNT_WIDTH, this._matchesCount.clientWidth);
+    }
+    _getAriaLabel(label, currentMatch, searchString) {
+        if (label === NLS_NO_RESULTS) {
+            return searchString === "" ? ( localize(9610, "{0} found", label)) : ( localize(9611, "{0} found for '{1}'", label, searchString));
+        }
+        return localize(9612, "{0} found for '{1}'", label, searchString);
+    }
+    dispose() {
+        this._notebookEditor?.removeClassName(FIND_SHOW_TRANSITION);
+        this._notebookEditor?.removeClassName(FIND_HIDE_TRANSITION);
+        this._findModel.dispose();
+        super.dispose();
+    }
+};
+NotebookFindWidget = ( __decorate([( __param(1, IContextViewService)), ( __param(2, IContextKeyService)), ( __param(3, IConfigurationService)), ( __param(4, IContextMenuService)), ( __param(5, IHoverService)), ( __param(6, IInstantiationService)), ( __param(7, IStorageService))], NotebookFindWidget));
+
+export { NotebookFindContrib };

package/vscode/src/vs/workbench/contrib/replNotebook/browser/interactiveEditor.css

@@ -0,0 +1,21 @@
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *  Licensed under the MIT License. See License.txt in the project root for license information.
+ *--------------------------------------------------------------------------------------------*/
+
+.interactive-editor .input-cell-container:focus-within .input-editor-container>.monaco-editor {
+	outline: solid 1px var(--vscode-notebook-focusedCellBorder);
+}
+
+.interactive-editor .input-cell-container .input-editor-container>.monaco-editor {
+	outline: solid 1px var(--vscode-notebook-inactiveFocusedCellBorder);
+}
+
+.interactive-editor .input-cell-container .input-focus-indicator {
+	top: 8px;
+}
+
+.interactive-editor .input-cell-container .monaco-editor-background,
+.interactive-editor .input-cell-container .margin-view-overlays {
+	background-color: var(--vscode-notebook-cellEditorBackground, var(--vscode-editor-background));
+}

package/vscode/src/vs/workbench/contrib/replNotebook/browser/media/interactive.css

@@ -0,0 +1,36 @@
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *  Licensed under the MIT License. See License.txt in the project root for license information.
+ *--------------------------------------------------------------------------------------------*/
+
+.interactive-editor .input-cell-container {
+	box-sizing: border-box;
+}
+
+.interactive-editor .input-cell-container .input-focus-indicator {
+	position: absolute;
+	left: 0px;
+	height: 19px;
+}
+
+.interactive-editor .input-cell-container .input-focus-indicator::before {
+	border-left: 3px solid transparent;
+	border-radius: 2px;
+	margin-left: 4px;
+	content: "";
+	position: absolute;
+	width: 0px;
+	height: 100%;
+	z-index: 10;
+	left: 0px;
+	top: 0px;
+	height: 100%;
+}
+
+.interactive-editor .input-cell-container .run-button-container {
+	position: absolute;
+}
+
+.interactive-editor .input-cell-container .run-button-container .monaco-toolbar .actions-container {
+	justify-content: center;
+}

package/vscode/src/vs/workbench/contrib/replNotebook/browser/replEditor.d.ts

@@ -0,0 +1,110 @@
+import * as DOM from "@codingame/monaco-vscode-api/vscode/vs/base/browser/dom";
+import { CancellationToken } from "@codingame/monaco-vscode-api/vscode/vs/base/common/cancellation";
+import { Event } from "@codingame/monaco-vscode-api/vscode/vs/base/common/event";
+import { ICodeEditorViewState, ICompositeCodeEditor } from "@codingame/monaco-vscode-api/vscode/vs/editor/common/editorCommon";
+import { IContextKeyService } from "@codingame/monaco-vscode-api/vscode/vs/platform/contextkey/common/contextkey.service";
+import { IInstantiationService } from "@codingame/monaco-vscode-api/vscode/vs/platform/instantiation/common/instantiation";
+import { IStorageService } from "@codingame/monaco-vscode-api/vscode/vs/platform/storage/common/storage.service";
+import { ITelemetryService } from "@codingame/monaco-vscode-api/vscode/vs/platform/telemetry/common/telemetry.service";
+import { IThemeService } from "@codingame/monaco-vscode-api/vscode/vs/platform/theme/common/themeService.service";
+import { EditorPane } from "@codingame/monaco-vscode-api/vscode/vs/workbench/browser/parts/editor/editorPane";
+import { IEditorOpenContext, IEditorPaneScrollPosition, IEditorPaneSelectionChangeEvent, IEditorPaneWithScrolling } from "@codingame/monaco-vscode-api/vscode/vs/workbench/common/editor";
+import { INotebookEditorOptions, INotebookEditorViewState } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/notebookBrowser";
+import { INotebookEditorService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/services/notebookEditorService.service";
+import { NotebookEditorWidget } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/notebookEditorWidget";
+import { IEditorGroup } from "@codingame/monaco-vscode-api/vscode/vs/workbench/services/editor/common/editorGroupsService";
+import { IEditorGroupsService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/services/editor/common/editorGroupsService.service";
+import { INotebookKernelService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/common/notebookKernelService.service";
+import { ILanguageService } from "@codingame/monaco-vscode-api/vscode/vs/editor/common/languages/language.service";
+import { IMenuService } from "@codingame/monaco-vscode-api/vscode/vs/platform/actions/common/actions.service";
+import { IKeybindingService } from "@codingame/monaco-vscode-api/vscode/vs/platform/keybinding/common/keybinding.service";
+import { IConfigurationService } from "@codingame/monaco-vscode-api/vscode/vs/platform/configuration/common/configuration.service";
+import { IContextMenuService } from "@codingame/monaco-vscode-api/vscode/vs/platform/contextview/browser/contextView.service";
+import { ITextResourceConfigurationService } from "@codingame/monaco-vscode-api/vscode/vs/editor/common/services/textResourceConfiguration.service";
+import { ITextEditorOptions } from "@codingame/monaco-vscode-api/vscode/vs/platform/editor/common/editor";
+import { INotebookExecutionStateService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/common/notebookExecutionStateService.service";
+import { IExtensionService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/services/extensions/common/extensions.service";
+import { ReplEditorInput } from "./replEditorInput.js";
+import { ICodeEditor } from "@codingame/monaco-vscode-api/vscode/vs/editor/browser/editorBrowser";
+import { IAccessibilityService } from "@codingame/monaco-vscode-api/vscode/vs/platform/accessibility/common/accessibility.service";
+export interface InteractiveEditorViewState {
+    readonly notebook?: INotebookEditorViewState;
+    readonly input?: ICodeEditorViewState | null;
+}
+export interface InteractiveEditorOptions extends ITextEditorOptions {
+    readonly viewState?: InteractiveEditorViewState;
+}
+export declare class ReplEditor extends EditorPane implements IEditorPaneWithScrolling {
+    private readonly _accessibilityService;
+    private _rootElement;
+    private _styleElement;
+    private _notebookEditorContainer;
+    private _notebookWidget;
+    private _inputCellContainer;
+    private _inputFocusIndicator;
+    private _inputRunButtonContainer;
+    private _inputEditorContainer;
+    private _codeEditorWidget;
+    private _notebookWidgetService;
+    private _instantiationService;
+    private _languageService;
+    private _contextKeyService;
+    private _configurationService;
+    private _notebookKernelService;
+    private _keybindingService;
+    private _menuService;
+    private _contextMenuService;
+    private _editorGroupService;
+    private _extensionService;
+    private readonly _widgetDisposableStore;
+    private _lastLayoutDimensions?;
+    private _editorOptions;
+    private _notebookOptions;
+    private _editorMemento;
+    private readonly _groupListener;
+    private _runbuttonToolbar;
+    private _hintElement;
+    private _onDidFocusWidget;
+    get onDidFocus(): Event<void>;
+    private _onDidChangeSelection;
+    readonly onDidChangeSelection: Event<IEditorPaneSelectionChangeEvent>;
+    private _onDidChangeScroll;
+    readonly onDidChangeScroll: Event<void>;
+    constructor(group: IEditorGroup, telemetryService: ITelemetryService, themeService: IThemeService, storageService: IStorageService, instantiationService: IInstantiationService, notebookWidgetService: INotebookEditorService, contextKeyService: IContextKeyService, notebookKernelService: INotebookKernelService, languageService: ILanguageService, keybindingService: IKeybindingService, configurationService: IConfigurationService, menuService: IMenuService, contextMenuService: IContextMenuService, editorGroupService: IEditorGroupsService, textResourceConfigurationService: ITextResourceConfigurationService, notebookExecutionStateService: INotebookExecutionStateService, extensionService: IExtensionService, _accessibilityService: IAccessibilityService);
+    private get inputCellContainerHeight();
+    private get inputCellEditorHeight();
+    protected createEditor(parent: HTMLElement): void;
+    private _setupRunButtonToolbar;
+    private _createLayoutStyles;
+    private _computeEditorOptions;
+    protected saveState(): void;
+    getViewState(): InteractiveEditorViewState | undefined;
+    private _saveEditorViewState;
+    private _loadNotebookEditorViewState;
+    setInput(input: ReplEditorInput, options: InteractiveEditorOptions | undefined, context: IEditorOpenContext, token: CancellationToken): Promise<void>;
+    private handleViewCellChange;
+    private handleAppend;
+    setOptions(options: INotebookEditorOptions | undefined): void;
+    private _toEditorPaneSelectionChangeReason;
+    private _cellAtBottom;
+    private _scrollIfNecessary;
+    private _syncWithKernel;
+    layout(dimension: DOM.Dimension, position: DOM.IDomPosition): void;
+    private _layoutWidgets;
+    private _validateDimension;
+    private _hasConflictingDecoration;
+    private _updateInputHint;
+    getScrollPosition(): IEditorPaneScrollPosition;
+    setScrollPosition(position: IEditorPaneScrollPosition): void;
+    focus(): void;
+    focusHistory(): void;
+    protected setEditorVisible(visible: boolean): void;
+    clearInput(): void;
+    getControl(): ReplEditorControl & ICompositeCodeEditor;
+    private getActiveCodeEditor;
+}
+export type ReplEditorControl = {
+    activeCodeEditor: ICodeEditor | undefined;
+    notebookEditor: NotebookEditorWidget | undefined;
+};
+export declare function isReplEditorControl(control: unknown): control is ReplEditorControl;