Added dev tools support

modules/renderer/menu.ts

@@ -7,6 +7,7 @@ import * as electron from "electron";
 
 /// <reference types="./imports/import_shared.d.ts" />
 import dtop_menu = top_menu;
+import {Arguments, process_args} from "../shared/process-arguments";
 
 namespace _top_menu {
     import ipcRenderer = electron.ipcRenderer;
@@ -246,7 +247,9 @@ namespace _top_menu {
 
         reload_page() {
             call_basic_action("reload-window")
-        }
+        },
+
+        show_dev_tools() { return process_args.has_flag(Arguments.DEV_TOOLS); }
     };
 }