From 9c2c2fdf10136f801fd13537a74632c335055e70 Mon Sep 17 00:00:00 2001
From: Francesco Spissu <f.spissu@arduino.cc>
Date: Tue, 5 Jul 2022 09:15:56 +0200
Subject: [PATCH] set sketchbook list item height 30px

---
 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 45a46c470..e4fe0cf7d 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 2c88daa3f..64617d48d 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;
 }