From 06acd7fcde41294de5cb11f28db51d227371a226 Mon Sep 17 00:00:00 2001
From: Francesco Spissu <94986937+francescospissu@users.noreply.github.com>
Date: Tue, 5 Jul 2022 14:21:40 +0200
Subject: [PATCH] Set sketchbook list item height to 30px (#1146)

---
 arduino-ide-extension/src/browser/style/index.css      | 2 +-
 arduino-ide-extension/src/browser/style/sketchbook.css | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/style/index.css b/arduino-ide-extension/src/browser/style/index.css
index 45a46c47..e4fe0cf7 100644
--- a/arduino-ide-extension/src/browser/style/index.css
+++ b/arduino-ide-extension/src/browser/style/index.css
@@ -125,4 +125,4 @@ button.theia-button.main {
   background-attachment: fixed;
   background-position: center;
   transition: opacity 0.8s;
-}
\ No newline at end of file
+}
diff --git a/arduino-ide-extension/src/browser/style/sketchbook.css b/arduino-ide-extension/src/browser/style/sketchbook.css
index 2c88daa3..64617d48 100644
--- a/arduino-ide-extension/src/browser/style/sketchbook.css
+++ b/arduino-ide-extension/src/browser/style/sketchbook.css
@@ -49,6 +49,10 @@
 
 }
 
+#arduino-sketchbook-tree-widget .theia-TreeNode {
+  line-height: 30px;
+}
+
 #arduino-sketchbook-tree-widget .theia-TreeNodeSegmentGrow {
   flex: 1;
 }