pjs/extensions/inspector/resources/content/inspector.xul

58 строки
1.8 KiB
Plaintext
Исходник Обычный вид История

2001-02-15 12:07:37 +03:00
<?xml version="1.0"?>
<!DOCTYPE overlay [
<!ENTITY % dtd1 SYSTEM "chrome://inspector/locale/inspector.dtd"> %dtd1;
<!ENTITY % dtd2 SYSTEM "chrome://inspector/content/util.dtd"> %dtd2;
<!ENTITY % dtd3 SYSTEM "chrome://communicator-platform/locale/platformCommunicatorOverlay.dtd"> %dtd3;
2001-02-15 12:07:37 +03:00
]>
<?xul-overlay href="chrome://inspector/content/inspectorOverlay.xul"?>
<?xul-overlay href="chrome://inspector/content/toolboxOverlay.xul"?>
<?xul-overlay href="chrome://inspector/content/popupOverlay.xul"?>
2001-02-15 12:07:37 +03:00
<?xul-overlay href="chrome://inspector/content/commandOverlay.xul"?>
<?xul-overlay href="chrome://inspector/content/keysetOverlay.xul"?>
<?xul-overlay href="chrome://inspector/content/statusbarOverlay.xul"?>
<?xul-overlay href="chrome://global/content/globalOverlay.xul"?>
<?xul-overlay href="chrome://communicator/content/utilityOverlay.xul"?>
<?xul-overlay href="chrome://communicator/content/tasksOverlay.xul"?>
2001-02-15 12:07:37 +03:00
<?xml-stylesheet href="chrome://inspector/skin/inspectorWindow.css"?>
<window id="winInspectorMain" title="&Inspector.title;"
width="640" height="480"
persist="screenX screenY width height maximized"
2001-02-15 12:07:37 +03:00
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
<popupset id="aTooltipSet"/>
2001-02-15 12:07:37 +03:00
<popupset id="ppsGlobalPopupset"/>
<popupset id="ppsViewerPopupset"/>
2001-02-15 12:07:37 +03:00
<keyset id="ksGlobalKeyset"/>
<commandset id="cmdsGlobalCommands"/>
<commandset id="tasksCommands">
<command id="cmd_quit"/>
</commandset>
<keyset id="tasksKeys">
<key id="key_closeInspector" key="&closeCmd.key;" command="cmdClose"
modifiers="accel"/>
<key id="key_quit"/>
</keyset>
2001-02-15 12:07:37 +03:00
<toolbox id="tbxInsToolbox">
<menubar id="mbrInspectorMain"/>
<toolbar id="tbInspectorPrimary"/>
</toolbox>
<vbox id="bxInspectorMain" flex="1"/>
2001-02-15 12:07:37 +03:00
<!--
<statusbar id="status-bar"/>
-->
2001-02-15 12:07:37 +03:00
</window>