Brian Grinstead
efdc071871
This number is being used for the sibling of the toolbox itself, and over large sizes can cause around a pixel or so of discrepancy, so go ahead and update to the bigger number while we are here. Also, support flex=10000 in flexbox emulation MozReview-Commit-ID: 6BEo7XAkZrs
68 lines
3.1 KiB
XML
68 lines
3.1 KiB
XML
<?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/NotificationBox.css" type="text/css"?>
|
|
|
|
<!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"
|
|
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"
|
|
src="chrome://devtools/content/framework/toolbox-init.js"/>
|
|
|
|
#include ../../../toolkit/content/editMenuCommands.inc.xul
|
|
#include ../../../toolkit/content/editMenuKeys.inc.xul
|
|
|
|
<popupset>
|
|
<menupopup id="toolbox-textbox-context-popup">
|
|
<menuitem id="cMenu_undo" label="&undoCmd.label;"
|
|
accesskey="&undoCmd.accesskey;" command="cmd_undo"/>
|
|
<menuseparator/>
|
|
<menuitem id="cMenu_cut" label="&cutCmd.label;"
|
|
accesskey="&cutCmd.accesskey;" command="cmd_cut"/>
|
|
<menuitem id="cMenu_copy" label="©Cmd.label;"
|
|
accesskey="©Cmd.accesskey;" command="cmd_copy"/>
|
|
<menuitem id="cMenu_paste" label="&pasteCmd.label;"
|
|
accesskey="&pasteCmd.accesskey;" command="cmd_paste"/>
|
|
<menuitem id="cMenu_delete" label="&deleteCmd.label;"
|
|
accesskey="&deleteCmd.accesskey;" command="cmd_delete"/>
|
|
<menuseparator/>
|
|
<menuitem id="cMenu_selectAll" label="&selectAllCmd.label;"
|
|
accesskey="&selectAllCmd.accesskey;" command="cmd_selectAll"/>
|
|
</menupopup>
|
|
</popupset>
|
|
|
|
<vbox id="toolbox-container" flex="1">
|
|
<div xmlns="http://www.w3.org/1999/xhtml" id="toolbox-notificationbox"/>
|
|
<div xmlns="http://www.w3.org/1999/xhtml" id="toolbox-toolbar-mount"
|
|
role="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="10000" 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>
|