mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-27 20:25:44 +00:00
f80ca025d2
This patch will prevent the devtools shrink very narrow width in the case of separated window or browser toolbox. MozReview-Commit-ID: GjMEOHNZ0O6 --HG-- extra : rebase_source : fa8aa64b7617300181d1be5dda983bc2c114bdbc
50 lines
1.7 KiB
XML
50 lines
1.7 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/. -->
|
|
<!DOCTYPE window [
|
|
<!ENTITY % toolboxDTD SYSTEM "chrome://devtools/locale/toolbox.dtd" >
|
|
%toolboxDTD;
|
|
]>
|
|
|
|
<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
|
|
|
|
<!-- minwidth=50 is sum width of chevron and meatball menu button. -->
|
|
<window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
|
|
id="devtools-toolbox-window"
|
|
macanimationtype="document"
|
|
fullscreenbutton="true"
|
|
windowtype="devtools:toolbox"
|
|
width="900" height="320"
|
|
persist="screenX screenY width height sizemode"
|
|
minwidth="50">
|
|
|
|
<commandset id="toolbox-commandset">
|
|
<command id="toolbox-cmd-close" oncommand="window.close();"/>
|
|
</commandset>
|
|
|
|
<keyset id="toolbox-keyset">
|
|
<key id="toolbox-key-close"
|
|
key="&closeCmd.key;"
|
|
command="toolbox-cmd-close"
|
|
modifiers="accel"/>
|
|
<key id="toolbox-key-toggle"
|
|
key="&toggleToolbox.key;"
|
|
command="toolbox-cmd-close"
|
|
modifiers="accel,shift"
|
|
disabled="true"/>
|
|
<key id="toolbox-key-toggle-osx"
|
|
key="&toggleToolbox.key;"
|
|
command="toolbox-cmd-close"
|
|
modifiers="accel,alt"
|
|
disabled="true"/>
|
|
<key id="toolbox-key-toggle-F12"
|
|
keycode="&toggleToolboxF12.keycode;"
|
|
keytext="&toggleToolboxF12.keytext;"
|
|
command="toolbox-cmd-close"/>
|
|
</keyset>
|
|
|
|
<tooltip id="aHTMLTooltip" page="true"/>
|
|
<iframe id="toolbox-iframe" flex="1" forceOwnRefreshDriver="" tooltip="aHTMLTooltip"></iframe>
|
|
</window>
|