From a5ae599dcb819c0c919af61065d998c652934bb4 Mon Sep 17 00:00:00 2001
From: Will Hunt <will@half-shot.uk>
Date: Wed, 24 Oct 2018 18:15:25 +0100
Subject: [PATCH] Add show developer tools option

---
 src/settings/Settings.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/settings/Settings.js b/src/settings/Settings.js
index 021942c6f2..547c71bac8 100644
--- a/src/settings/Settings.js
+++ b/src/settings/Settings.js
@@ -290,4 +290,9 @@ export const SETTINGS = {
         displayName: _td('Show empty room list headings'),
         default: true,
     },
+    "showDeveloperTools": {
+        supportedLevels: LEVELS_ACCOUNT_SETTINGS,
+        displayName: _td('Show developer tools'),
+        default: false,
+    },
 };