From c5541a4126553d532cdff2e74a42f1fd91051897 Mon Sep 17 00:00:00 2001
From: Ian Philips <iansphilips@gmail.com>
Date: Wed, 18 Sep 2024 18:00:13 -0700
Subject: [PATCH] Disable devtools again

---
 web/pages/_app.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/pages/_app.tsx b/web/pages/_app.tsx
index bbcb44017a..6f6f1fac4c 100644
--- a/web/pages/_app.tsx
+++ b/web/pages/_app.tsx
@@ -105,7 +105,7 @@ function MyApp({ Component, pageProps }: AppProps<ManifoldPageProps>) {
   useHasLoaded()
   useRefreshAllClients()
   // ian: Required by GambleId
-  const devToolsOpen = useDevtoolsDetector()
+  const devToolsOpen = false //useDevtoolsDetector()
   useThemeManager()
 
   const title = 'Manifold'