diff --git a/src/vs/workbench/contrib/notebook/browser/view/renderers/backLayerWebView.ts b/src/vs/workbench/contrib/notebook/browser/view/renderers/backLayerWebView.ts index 4697b6c5cd2..3818fecd1ef 100644 --- a/src/vs/workbench/contrib/notebook/browser/view/renderers/backLayerWebView.ts +++ b/src/vs/workbench/contrib/notebook/browser/view/renderers/backLayerWebView.ts @@ -89,6 +89,19 @@ export interface INotebookDelegateForWebview { triggerScroll(event: IMouseWheelEvent): void; } +interface BacklayerWebviewOptions { + readonly outputNodePadding: number; + readonly outputNodeLeftPadding: number; + readonly previewNodePadding: number; + readonly markdownLeftMargin: number; + readonly leftMargin: number; + readonly rightMargin: number; + readonly runGutter: number; + readonly dragAndDropEnabled: boolean; + readonly fontSize: number; + readonly markupFontSize: number; +} + export class BackLayerWebView extends Disposable { element: HTMLElement; webview: IWebviewElement | undefined = undefined; @@ -110,18 +123,7 @@ export class BackLayerWebView extends Disposable { public readonly notebookEditor: INotebookDelegateForWebview, public readonly id: string, public readonly documentUri: URI, - private options: { - outputNodePadding: number, - outputNodeLeftPadding: number, - previewNodePadding: number, - markdownLeftMargin: number, - leftMargin: number, - rightMargin: number, - runGutter: number, - dragAndDropEnabled: boolean, - fontSize: number - markupFontSize: number - }, + private options: BacklayerWebviewOptions, private readonly rendererMessaging: IScopedRendererMessaging | undefined, @IWebviewService readonly webviewService: IWebviewService, @IOpenerService readonly openerService: IOpenerService, @@ -178,18 +180,7 @@ export class BackLayerWebView extends Disposable { })); } - updateOptions(options: { - outputNodePadding: number, - outputNodeLeftPadding: number, - previewNodePadding: number, - markdownLeftMargin: number, - leftMargin: number, - rightMargin: number, - runGutter: number, - dragAndDropEnabled: boolean, - fontSize: number - markupFontSize: number - }) { + updateOptions(options: BacklayerWebviewOptions) { this.options = options; this._updateStyles(); this._updateOptions();