From 9321f33567485a535a15b200e2610fc687c45804 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Tue, 16 May 2017 17:52:55 +0200
Subject: [PATCH] rename css filepanel -> filepanel-container

---
 src/app.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app.js b/src/app.js
index 662ba0aac3..508d5f76e7 100644
--- a/src/app.js
+++ b/src/app.js
@@ -181,13 +181,13 @@ var run = function () {
   // app.js provides file-panel.js with a css selector or a DOM element
   // and file-panel.js adds its elements (including css), see "Editor" above
   var css = csjs`
-    .filepanel    {
+    .filepanel-container    {
       display     : flex;
       width       : 200px;
     }
   `
   var filepanelContainer = document.querySelector('#filepanel')
-  filepanelContainer.className = css.filepanel
+  filepanelContainer.className = css['filepanel-container']
   var FilePanelAPI = {
     createName: createNonClashingName,
     switchToFile: switchToFile,