From a9e71792bdda99e4a7fc4d530c63d493632894a0 Mon Sep 17 00:00:00 2001 From: MO Date: Wed, 13 Sep 2017 00:37:59 +0800 Subject: [PATCH 01/58] Tweaks --- src/devtools/components/DevtoolsView.js | 16 ++++++++-------- src/devtools/components/Tabs.js | 4 +++- src/devtools/devtools.css | 10 ++++++---- 3 files changed, 17 insertions(+), 13 deletions(-) diff --git a/src/devtools/components/DevtoolsView.js b/src/devtools/components/DevtoolsView.js index 5515391..510ab74 100644 --- a/src/devtools/components/DevtoolsView.js +++ b/src/devtools/components/DevtoolsView.js @@ -6,16 +6,16 @@ import {searchPath, printInConsole, enter, exit} from '../utils'; // Regular components for devtools' UI const DevtoolsViewComponent = Regular.extend({ template: ` -
-
-