From 86eacea74d754f67e660f3ea7fd988a2444ea3cf Mon Sep 17 00:00:00 2001
From: Vendicated <vendicated@riseup.net>
Date: Tue, 11 Oct 2022 21:48:28 +0200
Subject: Make ReactDevTools Opt-in

---
 src/api/settings.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/api')

diff --git a/src/api/settings.ts b/src/api/settings.ts
index 51bec1d..0f2356f 100644
--- a/src/api/settings.ts
+++ b/src/api/settings.ts
@@ -3,9 +3,10 @@ import IpcEvents from "../utils/IpcEvents";
 import { React } from "../webpack/common";
 import { mergeDefaults } from "../utils/misc";
 
-interface Settings {
+export interface Settings {
     notifyAboutUpdates: boolean;
     useQuickCss: boolean;
+    enableReactDevtools: boolean;
     plugins: {
         [plugin: string]: {
             enabled: boolean;
@@ -17,6 +18,7 @@ interface Settings {
 const DefaultSettings: Settings = {
     notifyAboutUpdates: true,
     useQuickCss: true,
+    enableReactDevtools: false,
     plugins: {}
 };
 
-- 
cgit