From dd1ec9312e711271c043da900bcf4ed0d55e494d Mon Sep 17 00:00:00 2001 From: Johannes Date: Fri, 26 May 2023 12:15:16 +0200 Subject: [PATCH] more margin tweaks --- .../contrib/interactiveEditor/browser/interactiveEditor.css | 6 +++++- .../interactiveEditor/browser/interactiveEditorWidget.ts | 1 + 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditor.css b/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditor.css index 880ee9000c3..3e1801cb5e0 100644 --- a/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditor.css +++ b/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditor.css @@ -90,12 +90,16 @@ /* status */ .monaco-editor .interactive-editor .status { - margin-top: 4px; + margin-top: 3px; display: flex; justify-content: space-between; align-items: center; } +.monaco-editor .interactive-editor .status.actions { + margin-top: 6px; +} + .monaco-editor .interactive-editor .status .actions.hidden { display: none; } diff --git a/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorWidget.ts b/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorWidget.ts index 3bd032ad434..1a0e3bee17b 100644 --- a/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorWidget.ts +++ b/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorWidget.ts @@ -423,6 +423,7 @@ export class InteractiveEditorWidget { updateToolbar(show: boolean) { this._elements.statusToolbar.classList.toggle('hidden', !show); this._elements.feedbackToolbar.classList.toggle('hidden', !show); + this._elements.status.classList.toggle('actions', show); this._onDidChangeHeight.fire(); }