]> 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 adcfa9d0c11487b734899d5f03a7e7c60f21439b..f16913b6f2927149e10a42ee2f729f9eeb0bb0ca 100644 (file)
@@ -34,6 +34,8 @@
         <Menu name="file">
             <Action name="new_tab" append="new_merge" />
             <Action name="new_window" append="new_merge" />
+
+            <Action name="save_archive" append="save_merge" />
         </Menu>
 
         <!-- View. -->
@@ -46,6 +48,7 @@
 
             <Action name="view_source" />
             <Action name="view_source_in_new_tab" />
+            <Action name="developer_tools" />
         </Menu>
 
         <!-- On-the-fly Settings. -->