From fb3dda119b25d8f023129e71b83954bdaf68909e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Tue, 19 Sep 2017 15:12:06 +0200
Subject: [PATCH] fix tab list

---
 src/app/panels/editor-panel.js | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/app/panels/editor-panel.js b/src/app/panels/editor-panel.js
index ecb73a82a2..a2cecc8aa1 100644
--- a/src/app/panels/editor-panel.js
+++ b/src/app/panels/editor-panel.js
@@ -132,8 +132,11 @@ var css = csjs`
     right             : 20px;
     top               : 10px;
     width             : 20em;
+  }  
+`
 
-  #files .file {
+var cssTabs = yo`<style>
+#files .file {
       padding: 0 0.6em;
       box-sizing: border-box;
       background-color: hsla(229, 100%, 97%, 1); /* backgroundBlue in style-guide.js */
@@ -173,7 +176,7 @@ var css = csjs`
   #files .file.active .remove {
       display: inline-block;
   }
-`
+  </style>`
 
 class EditorPanel {
   constructor (opts = {}) {
@@ -223,6 +226,9 @@ class EditorPanel {
         self._api.txListener.setListenOnNetwork(listenOnNetWork)
       })
     }
+    if (document && document.head) {
+      document.head.appendChild(cssTabs)
+    }
   }
   _adjustLayout (direction, delta) {
     var limitUp = 0