diff options
Diffstat (limited to 'devtools/client/framework/toolbox.xul')
-rw-r--r-- | devtools/client/framework/toolbox.xul | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/devtools/client/framework/toolbox.xul b/devtools/client/framework/toolbox.xul new file mode 100644 index 000000000..94aaecebd --- /dev/null +++ b/devtools/client/framework/toolbox.xul @@ -0,0 +1,83 @@ +<?xml version="1.0" encoding="utf-8"?> +<!-- This Source Code Form is subject to the terms of the Mozilla Public + - License, v. 2.0. If a copy of the MPL was not distributed with this + - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> +<?xml-stylesheet href="chrome://global/skin/" type="text/css"?> +<?xml-stylesheet href="chrome://devtools/skin/toolbox.css" type="text/css"?> +<?xml-stylesheet href="resource://devtools/client/shared/components/notification-box.css" type="text/css"?> + +<?xul-overlay href="chrome://global/content/editMenuOverlay.xul"?> + +<!DOCTYPE window [ +<!ENTITY % toolboxDTD SYSTEM "chrome://devtools/locale/toolbox.dtd" > +%toolboxDTD; +<!ENTITY % editMenuStrings SYSTEM "chrome://global/locale/editMenuOverlay.dtd"> +%editMenuStrings; +<!ENTITY % globalKeysDTD SYSTEM "chrome://global/locale/globalKeys.dtd"> +%globalKeysDTD; +]> + +<window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" + xmlns:html="http://www.w3.org/1999/xhtml"> + + <script type="application/javascript;version=1.8" + src="chrome://devtools/content/shared/theme-switching.js"/> + <script type="application/javascript" + src="chrome://global/content/viewSourceUtils.js"/> + + <script type="application/javascript" src="chrome://global/content/globalOverlay.js"/> + <script type="application/javascript;version=1.8" + src="chrome://devtools/content/framework/toolbox-init.js"/> + + <commandset id="editMenuCommands"/> + <keyset id="editMenuKeys"/> + + <popupset> + <menupopup id="toolbox-textbox-context-popup"> + <menuitem id="cMenu_undo"/> + <menuseparator/> + <menuitem id="cMenu_cut"/> + <menuitem id="cMenu_copy"/> + <menuitem id="cMenu_paste"/> + <menuitem id="cMenu_delete"/> + <menuseparator/> + <menuitem id="cMenu_selectAll"/> + </menupopup> + </popupset> + + <vbox id="toolbox-container" flex="1"> + <div xmlns="http://www.w3.org/1999/xhtml" id="toolbox-notificationbox"/> + <toolbar class="devtools-tabbar"> + <hbox id="toolbox-picker-container" /> + <hbox id="toolbox-tabs" flex="1" role="tablist" /> + <hbox id="toolbox-buttons" pack="end"> + <html:button id="command-button-frames" + class="command-button command-button-invertable devtools-button" + title="&toolboxFramesTooltip;" + hidden="true" /> + <html:button id="command-button-noautohide" + class="command-button command-button-invertable devtools-button" + title="&toolboxNoAutoHideTooltip;" + hidden="true" /> + </hbox> + <vbox id="toolbox-controls-separator" class="devtools-separator"/> + <hbox id="toolbox-option-container"/> + <hbox id="toolbox-controls"> + <hbox id="toolbox-dock-buttons"/> + <html:button id="toolbox-close" + class="devtools-button" + title="&toolboxCloseButton.tooltip;"/> + </hbox> + </toolbar> + <vbox flex="1" class="theme-body"> + <!-- Set large flex to allow the toolbox-panel-webconsole to have a + height set to a small value without flexing to fill up extra + space. There must be a flex on both to ensure that the console + panel itself is sized properly --> + <box id="toolbox-deck" flex="1000" minheight="75" /> + <splitter id="toolbox-console-splitter" class="devtools-horizontal-splitter" hidden="true" /> + <box minheight="75" flex="1" id="toolbox-panel-webconsole" collapsed="true" /> + </vbox> + <tooltip id="aHTMLTooltip" page="true" /> + </vbox> +</window> |