Optimize devtools panel

Author: zalmoxisus

src/browser/extension/background/messaging.js

@@ -149,7 +149,7 @@ function onConnect(port) {
     };
   } else {
     connections = panelConnections; id = port.name;
-    monitorInstances(true);
+    isMonitored = true;
     if (id !== window.store.id) port.postMessage(naMessage);
     disconnect = () => {
       monitorInstances(false);

src/browser/extension/devpanel/index.js

@@ -41,7 +41,7 @@ function showDevTools() {
 function init(id) {
   chrome.devtools.inspectedWindow.eval(
     'window.postMessage({' +
-    'type: \'UPDATE\',' +
+    'type: \'START\',' +
     'source: \'@devtools-extension\'' +
     '}, \'*\');'
   );

src/browser/views/includes/style.jade

@@ -12,7 +12,7 @@ style.
     margin: 0;
     padding: 0;
     font-family: "Helvetica Neue", "Lucida Grande", sans-serif;
-    font-size: 75%;
+    font-size: 11px;
     background-color: rgb(53, 59, 70);
     color: #fff;
   }