DevTools: minor UI / menu tweaks reducing the clutter.

Source/devtools/front_end/Main.js

Index: Source/devtools/front_end/Main.js
diff --git a/Source/devtools/front_end/Main.js b/Source/devtools/front_end/Main.js
index a4bdd4ef9af733fea8f0669f2280c22bb09c65e4..900da4624595418623bbbb71664eeb9ed216f8ad 100644
--- a/Source/devtools/front_end/Main.js
+++ b/Source/devtools/front_end/Main.js
@@ -380,16 +380,8 @@ WebInspector.Main.prototype = {
         {
             WebInspector.inspectorView.showInitialPanel();
 
-            if (WebInspector.overridesSupport.hasActiveOverrides()) {
-                if (!WebInspector.settings.showEmulationViewInDrawer.get())
-                    WebInspector.settings.showEmulationViewInDrawer.set(true);
+            if (WebInspector.overridesSupport.hasActiveOverrides())
                 WebInspector.inspectorView.showViewInDrawer("emulation", true);
-            }
-
-            if (WebInspector.settings.showPaintRects.get() || WebInspector.settings.showDebugBorders.get() || WebInspector.settings.continuousPainting.get() ||
-                    WebInspector.settings.showFPSCounter.get() || WebInspector.settings.showScrollBottleneckRects.get()) {
-                WebInspector.settings.showRenderingViewInDrawer.set(true);
-            }
 
             WebInspector.settings.showMetricsRulers.addChangeListener(showRulersChanged);
             function showRulersChanged()