@@ -246,6 +246,10 @@ def GetText(self):
246246 self .stringVisitor = StringVisitor ()
247247 self .mainBrowser .GetMainFrame ().GetText (self .stringVisitor )
248248
249+ def ShowDevTools (self ):
250+ print ("[wxpython.py] external.ShowDevTools called" )
251+ self .mainBrowser .ShowDevTools ()
252+
249253 # -------------------------------------------------------------------------
250254 # Cookies
251255 # -------------------------------------------------------------------------
@@ -396,6 +400,12 @@ def OnKeyEvent(self, browser, event, eventHandle):
396400 print ("[wxpython.py] Esc pressed, calling browser.StopLoad()" )
397401 browser .StopLoad ()
398402 return True
403+ # F12
404+ if event ["native_key_code" ] == 96 :
405+ print ("[wxpython.py] F12 pressed, calling" \
406+ " browser.ShowDevTools()" )
407+ browser .ShowDevTools ()
408+ return True
399409 elif platform .system () == "Windows" :
400410 # F5 todo
401411 # Escape todo
@@ -692,6 +702,10 @@ def GetSources():
692702 # Downloads are handled automatically. A default SaveAs file
693703 # dialog provided by OS will be displayed.
694704 "downloads_enabled" : True ,
705+ # Remote debugging port, required for Developer Tools support.
706+ # A value of 0 will generate a random port. To disable devtools
707+ # support set it to -1.
708+ "remote_debugging_port" : 0 ,
695709 }
696710
697711 # Browser settings. You may have different settings for each
0 commit comments