From 550670f9f0916d494a0aa99e0468e8199f8c6d05 Mon Sep 17 00:00:00 2001 From: yann300 Date: Wed, 6 Sep 2017 11:33:44 +0200 Subject: [PATCH] remove title + add padding --- src/app/panels/terminal.js | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js index f56ba045c0..835e582ae3 100644 --- a/src/app/panels/terminal.js +++ b/src/app/panels/terminal.js @@ -37,9 +37,7 @@ var css = csjs` display : flex; align-items : center; width : 100%; - } - .title { - margin-right : 15px; + padding : 5px; } .minimize { margin-left : auto; @@ -191,7 +189,6 @@ class Terminal {
${self._view.dragbar}
-
Remix Terminal