dev_tools in UI

JuliaHealth · Nov 15, 2023 · 3dc0759 · 3dc0759
1 parent ebceb48
commit 3dc0759
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/ui/ExportUIFunctions.jl b/src/ui/ExportUIFunctions.jl
@@ -37,7 +37,6 @@ function setup_blink_window(; darkmode=true, frame=true, dev_tools=false, show_w
         :icon=>app_icon,
         "width"=>1200,
         "height"=>800,
-        "webPreferences"=>Dict("devTools"=>dev_tools),
         :show=>show_window
         ), async=false);
 
@@ -72,6 +71,9 @@ function setup_blink_window(; darkmode=true, frame=true, dev_tools=false, show_w
         @js_ w document.getElementById("main").style="background-color:rgb(13,16,17);"
     end
     # Return the Blink window
+    if dev_tools
+        Blink.tools(w)
+    end
     return w, index
 end