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

PROEDITOR-7: Cloned the Library Manager layout.

Browse Source 
To match with the official Arduino editor's UI.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2019-07-17 10:32:28 +02:00
parent cf44fe2ad0
commit 8d838fcce4
19 changed files with 426 additions and 138 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -95,4 +95,8 @@
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
}
.theia-sidepanel-toolbar .theia-sidepanel-title {
margin-left: 10px;
}