]> gitweb.stoutner.com Git - PrivacyBrowserPC.git/blobdiff - src/ui.rcs/browserwindowui.rc
Add DevTools. https://redmine.stoutner.com/issues/1126
[PrivacyBrowserPC.git] / src / ui.rcs / browserwindowui.rc
index ab3d50336cb6b41bfaa8fcb5ef0d9c9400c13bec..f16913b6f2927149e10a42ee2f729f9eeb0bb0ca 100644 (file)
@@ -48,6 +48,7 @@
 
             <Action name="view_source" />
             <Action name="view_source_in_new_tab" />
+            <Action name="developer_tools" />
         </Menu>
 
         <!-- On-the-fly Settings. -->