Make ReactDevTools Opt-in

This commit is contained in:
Vendicated 2022-10-11 21:48:28 +02:00
parent 516f8c488a
commit 86eacea74d
No known key found for this signature in database
GPG key ID: EC781ADFB93EFFA3
4 changed files with 24 additions and 7 deletions

View file

@ -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: {}
};