jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-14 14:56:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Avoid intellisense widgets being covered by the bottom panel

Browse Source
This commit is contained in:
r3inbowari 2022-09-21 23:05:59 +08:00 committed by per1234
parent 96cf09d594
commit 9ac2638335
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/src/browser/style/main.css
View File

@ -2,6 +2,12 @@
background: var(--theia-editorGroupHeader-tabsBackground); 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 { .p-TabBar-toolbar .item.arduino-tool-item {
margin-left: 0; margin-left: 0;
} }