mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-22 17:55:50 +00:00
b9e816d060
MozReview-Commit-ID: HH4mbqB6RTK --HG-- rename : devtools/client/shared/components/autocomplete-popup.js => devtools/client/shared/components/AutoCompletePopup.js rename : devtools/client/shared/components/frame.js => devtools/client/shared/components/Frame.js rename : devtools/client/shared/components/h-split-box.js => devtools/client/shared/components/HSplitBox.js rename : devtools/client/shared/components/notification-box.css => devtools/client/shared/components/NotificationBox.css rename : devtools/client/shared/components/notification-box.js => devtools/client/shared/components/NotificationBox.js rename : devtools/client/shared/components/search-box.js => devtools/client/shared/components/SearchBox.js rename : devtools/client/shared/components/sidebar-toggle.css => devtools/client/shared/components/SidebarToggle.css rename : devtools/client/shared/components/sidebar-toggle.js => devtools/client/shared/components/SidebarToggle.js rename : devtools/client/shared/components/stack-trace.js => devtools/client/shared/components/StackTrace.js rename : devtools/client/shared/components/tree.js => devtools/client/shared/components/Tree.js rename : devtools/client/shared/components/splitter/draggable.js => devtools/client/shared/components/splitter/Draggable.js rename : devtools/client/shared/components/splitter/split-box.css => devtools/client/shared/components/splitter/SplitBox.css rename : devtools/client/shared/components/splitter/split-box.js => devtools/client/shared/components/splitter/SplitBox.js rename : devtools/client/shared/components/tabs/tabbar.css => devtools/client/shared/components/tabs/TabBar.css rename : devtools/client/shared/components/tabs/tabbar.js => devtools/client/shared/components/tabs/TabBar.js rename : devtools/client/shared/components/tabs/tabs.css => devtools/client/shared/components/tabs/Tabs.css rename : devtools/client/shared/components/tabs/tabs.js => devtools/client/shared/components/tabs/Tabs.js rename : devtools/client/shared/components/tree/label-cell.js => devtools/client/shared/components/tree/LabelCell.js rename : devtools/client/shared/components/tree/object-provider.js => devtools/client/shared/components/tree/ObjectProvider.js rename : devtools/client/shared/components/tree/tree-cell.js => devtools/client/shared/components/tree/TreeCell.js rename : devtools/client/shared/components/tree/tree-header.js => devtools/client/shared/components/tree/TreeHeader.js rename : devtools/client/shared/components/tree/tree-row.js => devtools/client/shared/components/tree/TreeRow.js rename : devtools/client/shared/components/tree/tree-view.css => devtools/client/shared/components/tree/TreeView.css rename : devtools/client/shared/components/tree/tree-view.js => devtools/client/shared/components/tree/TreeView.js extra : rebase_source : 5ef89b4169dda156a8160d4d21655147f4d9da11
63 lines
2.6 KiB
XML
63 lines
2.6 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"?>
|
|
|
|
<?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"
|
|
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"/>
|
|
|
|
<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"/>
|
|
<div xmlns="http://www.w3.org/1999/xhtml" id="toolbox-toolbar-mount" />
|
|
<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>
|