Disable developer tools.

Rdmkr · Nov 13, 2023 · aa2819d · aa2819d
1 parent ac5d8e8
commit aa2819d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gui-js/libs/shared/src/lib/constants/constants.ts b/gui-js/libs/shared/src/lib/constants/constants.ts
@@ -11,7 +11,7 @@ export const ZOOM_IN_FACTOR = 1.1;
 export const ZOOM_OUT_FACTOR = 0.91;
 export const RESET_ZOOM_FACTOR = 1;
 
-export const OPEN_DEV_TOOLS_IN_DEV_BUILD = true;
+export const OPEN_DEV_TOOLS_IN_DEV_BUILD = false;
 
 export const events = {
   ADD_RECENT_FILE: 'add-recent-file',