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

One can toggle between pro and simple mode

Browse Source 
Signed-off-by: jbicker <jan.bicker@typefox.io>
This commit is contained in:
jbicker
2019-07-24 19:09:55 +02:00
parent 17fab651e5
commit 23a967bd4c
15 changed files with 112 additions and 88 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -75,10 +75,6 @@
padding-right: 15px;
}
.p-Widget.p-TabBar.theia-app-centers.theia-app-bottom .p-TabBar-content-container.ps {
display: none;
}
.arduino-toolbar-tooltip {
margin-left: 10px;
display: flex;