palemoon-dev/platform/devtools/client/framework/toolbox.xul

<?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>