From 2e66e5c839ef8382fe18cee3f800fa004158e130 Mon Sep 17 00:00:00 2001 From: r3inbowari Date: Wed, 21 Sep 2022 23:05:59 +0800 Subject: [PATCH 1/2] Avoid intellisense widgets being covered by the bottom panel --- arduino-ide-extension/src/browser/style/main.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 40cae2a31..659c3ea38 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -2,6 +2,12 @@ background: var(--theia-editorGroupHeader-tabsBackground); } +/* Negative values to lower the priority in order to avoid the problem that +   the Intellisense widget may be cover by the bottom panel partially. */ +#theia-bottom-content-panel { + z-index: -1; +} + .p-TabBar-toolbar .item.arduino-tool-item { margin-left: 0; } From dc6c85152ca05e8b339191eb0873ad3e2b9eb347 Mon Sep 17 00:00:00 2001 From: r3inbowari Date: Thu, 22 Sep 2022 18:43:08 +0800 Subject: [PATCH 2/2] fix splitHandle above widget --- arduino-ide-extension/src/browser/style/main.css | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 659c3ea38..ede6c726c 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -2,10 +2,14 @@ background: var(--theia-editorGroupHeader-tabsBackground); } -/* Negative values to lower the priority in order to avoid the problem that -   the Intellisense widget may be cover by the bottom panel partially. */ -#theia-bottom-content-panel { - z-index: -1; +/* Avoid the Intellisense widget may be cover by the bottom panel partially. + TODO: This issue may be resolved after monaco-editor upgrade */ +#theia-main-content-panel { + z-index: auto +} + +#theia-main-content-panel div[id^="code-editor-opener"] { + z-index: auto; } .p-TabBar-toolbar .item.arduino-tool-item {