browser/devtools/framework/toolbox.xul@6474c204b198 (annotated)
browser/devtools/framework/toolbox.xul
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | <?xml version="1.0" encoding="utf-8"?> |
| michael@0 | 2 | <!-- This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 3 | - License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 4 | - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> |
| michael@0 | 5 | <!DOCTYPE window [ |
| michael@0 | 6 | <!ENTITY % toolboxDTD SYSTEM "chrome://browser/locale/devtools/toolbox.dtd" > |
| michael@0 | 7 | %toolboxDTD; |
| michael@0 | 8 | ]> |
| michael@0 | 9 | <?xml-stylesheet href="chrome://browser/skin/" type="text/css"?> |
| michael@0 | 10 | <?xml-stylesheet href="chrome://browser/skin/devtools/common.css" type="text/css"?> |
| michael@0 | 11 | <?xul-overlay href="chrome://global/content/editMenuOverlay.xul"?> |
| michael@0 | 12 | |
| michael@0 | 13 | <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> |
| michael@0 | 14 | |
| michael@0 | 15 | <script type="application/javascript;version=1.8" |
| michael@0 | 16 | src="chrome://browser/content/devtools/theme-switching.js"/> |
| michael@0 | 17 | <script type="application/javascript" src="chrome://global/content/globalOverlay.js"/> |
| michael@0 | 18 | |
| michael@0 | 19 | <commandset id="editMenuCommands"/> |
| michael@0 | 20 | <keyset id="editMenuKeys"/> |
| michael@0 | 21 | <keyset id="toolbox-keyset"> |
| michael@0 | 22 | <key id="toolbox-options-key" |
| michael@0 | 23 | key="&toolboxOptionsButton.key;" |
| michael@0 | 24 | oncommand="void(0);" |
| michael@0 | 25 | modifiers="shift, accel"/> |
| michael@0 | 26 | <key id="toolbox-next-tool-key" |
| michael@0 | 27 | key="&toolboxNextTool.key;" |
| michael@0 | 28 | oncommand="void(0);" |
| michael@0 | 29 | modifiers="accel"/> |
| michael@0 | 30 | <key id="toolbox-previous-tool-key" |
| michael@0 | 31 | key="&toolboxPreviousTool.key;" |
| michael@0 | 32 | oncommand="void(0);" |
| michael@0 | 33 | modifiers="accel"/> |
| michael@0 | 34 | <key id="toolbox-zoom-in-key" |
| michael@0 | 35 | key="&toolboxZoomIn.key;" |
| michael@0 | 36 | oncommand="void(0);" |
| michael@0 | 37 | modifiers="accel"/> |
| michael@0 | 38 | <key id="toolbox-zoom-in-key2" |
| michael@0 | 39 | key="&toolboxZoomIn.key2;" |
| michael@0 | 40 | oncommand="void(0);" |
| michael@0 | 41 | modifiers="accel"/> |
| michael@0 | 42 | <key id="toolbox-zoom-out-key" |
| michael@0 | 43 | key="&toolboxZoomOut.key;" |
| michael@0 | 44 | oncommand="void(0);" |
| michael@0 | 45 | modifiers="accel"/> |
| michael@0 | 46 | <key id="toolbox-zoom-reset-key" |
| michael@0 | 47 | key="&toolboxZoomReset.key;" |
| michael@0 | 48 | oncommand="void(0);" |
| michael@0 | 49 | modifiers="accel"/> |
| michael@0 | 50 | </keyset> |
| michael@0 | 51 | |
| michael@0 | 52 | <notificationbox id="toolbox-notificationbox" flex="1"> |
| michael@0 | 53 | <toolbar class="devtools-tabbar"> |
| michael@0 | 54 | #ifdef XP_MACOSX |
| michael@0 | 55 | <hbox id="toolbox-controls"> |
| michael@0 | 56 | <toolbarbutton id="toolbox-close" |
| michael@0 | 57 | class="devtools-closebutton" |
| michael@0 | 58 | tooltiptext="&toolboxCloseButton.tooltip;"/> |
| michael@0 | 59 | <hbox id="toolbox-dock-buttons"/> |
| michael@0 | 60 | </hbox> |
| michael@0 | 61 | #endif |
| michael@0 | 62 | <hbox id="toolbox-tabs" flex="1"> |
| michael@0 | 63 | </hbox> |
| michael@0 | 64 | <hbox id="toolbox-buttons" pack="end"/> |
| michael@0 | 65 | #ifndef XP_MACOSX |
| michael@0 | 66 | <vbox id="toolbox-controls-separator"/> |
| michael@0 | 67 | <hbox id="toolbox-controls"> |
| michael@0 | 68 | <hbox id="toolbox-dock-buttons"/> |
| michael@0 | 69 | <toolbarbutton id="toolbox-close" |
| michael@0 | 70 | class="devtools-closebutton" |
| michael@0 | 71 | tooltiptext="&toolboxCloseButton.tooltip;"/> |
| michael@0 | 72 | </hbox> |
| michael@0 | 73 | #endif |
| michael@0 | 74 | </toolbar> |
| michael@0 | 75 | <vbox flex="1"> |
| michael@0 | 76 | <deck id="toolbox-deck" flex="1" minheight="75" /> |
| michael@0 | 77 | <splitter id="toolbox-console-splitter" class="devtools-horizontal-splitter" hidden="true" /> |
| michael@0 | 78 | <box minheight="75" flex="1" id="toolbox-panel-webconsole" collapsed="true" /> |
| michael@0 | 79 | </vbox> |
| michael@0 | 80 | </notificationbox> |
| michael@0 | 81 | </window> |
