src/vs/workbench/contrib/notebook/common/notebookOptions.ts/updateEditorTopPadding
export function updateEditorTopPadding(top: number) {
	EDITOR_TOP_PADDING = top;
	editorTopPaddingChangeEmitter.fire();
}