development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-27 21:09:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix #129075.

Browse source
This commit is contained in:
rebornix 2021-07-20 19:13:08 -07:00
parent e4fa4063da
commit 818c6613f7
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/vs/workbench/contrib/interactive/browser/interactiveEditor.ts
View file

@ -268,15 +268,15 @@ export class InteractiveEditor extends EditorPane {
});
if (this.#dimension) {
this.#notebookEditorContainer.style.height = `${this.#dimension.height - this._inputCellContainerHeight}px`;
this.#notebookWidget.value!.layout(this.#dimension.with(this.#dimension.width, this.#dimension.height - this._inputCellContainerHeight), this.#notebookEditorContainer);
const {
codeCellLeftMargin,
cellRunGutter
} = this.#notebookOptions.getLayoutConfiguration();
const leftMargin = codeCellLeftMargin + cellRunGutter;
this.#notebookEditorContainer.style.height = `${this.#dimension.height - this._inputCellContainerHeight}px`;
this.#notebookWidget.value!.layout(this.#dimension.with(this.#dimension.width, this.#dimension.height - this._inputCellContainerHeight), this.#notebookEditorContainer);
this.#codeEditorWidget.layout(new DOM.Dimension(this.#dimension.width - leftMargin - INPUT_CELL_HORIZONTAL_PADDING_RIGHT, this._inputCellEditorHeight));
const maxHeight = Math.min(this.#dimension.height / 2, this._inputCellEditorHeight);
this.#codeEditorWidget.layout(new DOM.Dimension(this.#dimension.width - leftMargin - INPUT_CELL_HORIZONTAL_PADDING_RIGHT, maxHeight));
this.#inputFocusIndicator.style.height = `${this._inputCellEditorHeight}px`;
this.#inputCellContainer.style.top = `${this.#dimension.height - this._inputCellContainerHeight}px`;
this.#inputCellContainer.style.width = `${this.#dimension.width}px`;
@ -496,18 +496,19 @@ export class InteractiveEditor extends EditorPane {
}
#layoutWidgets(dimension: DOM.Dimension) {
const contentHeight = this.#codeEditorWidget.hasModel() ? this.#codeEditorWidget.getContentHeight() : this._inputCellEditorHeight;
const maxHeight = Math.min(dimension.height / 2, contentHeight);
const {
codeCellLeftMargin,
cellRunGutter
} = this.#notebookOptions.getLayoutConfiguration();
const leftMargin = codeCellLeftMargin + cellRunGutter;
const contentHeight = this.#codeEditorWidget.hasModel() ? this.#codeEditorWidget.getContentHeight() : this._inputCellEditorHeight;
const inputCellContainerHeight = contentHeight + INPUT_CELL_VERTICAL_PADDING * 2;
const inputCellContainerHeight = maxHeight + INPUT_CELL_VERTICAL_PADDING * 2;
this.#notebookEditorContainer.style.height = `${dimension.height - inputCellContainerHeight}px`;
this.#notebookWidget.value!.layout(dimension.with(dimension.width, dimension.height - inputCellContainerHeight), this.#notebookEditorContainer);
this.#codeEditorWidget.layout(new DOM.Dimension(dimension.width - leftMargin - INPUT_CELL_HORIZONTAL_PADDING_RIGHT, contentHeight));
this.#codeEditorWidget.layout(new DOM.Dimension(dimension.width - leftMargin - INPUT_CELL_HORIZONTAL_PADDING_RIGHT, maxHeight));
this.#inputFocusIndicator.style.height = `${contentHeight}px`;
this.#inputCellContainer.style.top = `${dimension.height - inputCellContainerHeight}px`;
this.#inputCellContainer.style.width = `${dimension.width}px`;