From 5077d959997bab53343c7fc8806ef35752aceb8b Mon Sep 17 00:00:00 2001
From: Christian Weichel <christian.weichel@typefox.io>
Date: Thu, 9 May 2019 08:05:43 +0200
Subject: [PATCH] Fix selection in list

---
 arduino-ide-extension/src/browser/style/list-widget.css | 3 +--
 workspace/basic.ino                                     | 7 -------
 2 files changed, 1 insertion(+), 9 deletions(-)
 delete mode 100644 workspace/basic.ino

diff --git a/arduino-ide-extension/src/browser/style/list-widget.css b/arduino-ide-extension/src/browser/style/list-widget.css
index 6c652b2a..78116c55 100644
--- a/arduino-ide-extension/src/browser/style/list-widget.css
+++ b/arduino-ide-extension/src/browser/style/list-widget.css
@@ -13,14 +13,13 @@
 }
 
 .filterable-list-container {
-    padding: 0 10px 0 15px;
     display: flex;
     flex-direction: column;
     align-items: stretch;
 }
 
 .component-list-item {
-    padding: 10px 0 10px 0;
+    padding: 10px 10px 10px 15px;
     font-size: var(--theia-ui-font-size1);
 }
 
diff --git a/workspace/basic.ino b/workspace/basic.ino
deleted file mode 100644
index b9e118c6..00000000
--- a/workspace/basic.ino
+++ /dev/null
@@ -1,7 +0,0 @@
-void setup() {
-    
-}
-
-void loop() {
-    
-}