From 30e24c96bea34cd9eb6561b3f26efb663cf7d1c4 Mon Sep 17 00:00:00 2001
From: WolverinDEV <git@teaspeak.de>
Date: Wed, 30 Oct 2019 22:03:43 +0100
Subject: [PATCH] Added dev tools support

---
 modules/renderer/menu.ts | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/modules/renderer/menu.ts b/modules/renderer/menu.ts
index 8978727..a011ae8 100644
--- a/modules/renderer/menu.ts
+++ b/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); }
     };
 }