mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-06 00:55:37 +00:00
52 lines
2.0 KiB
XML
52 lines
2.0 KiB
XML
<?xml version="1.0"?>
|
|
<?xml-stylesheet href="chrome://navigator/skin/" type="text/css"?>
|
|
|
|
<?xul-overlay href="chrome://navigator/content/navigatorOverlay.xul"?>
|
|
<?xul-overlay href="chrome://communicator/content/tasksOverlay.xul"?>
|
|
|
|
<!DOCTYPE window SYSTEM "chrome://navigator/locale/viewSource.dtd" >
|
|
<window id="main-window" xmlns:html="http://www.w3.org/1999/xhtml"
|
|
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
|
|
onload="onLoadViewSource()"
|
|
title="&mainWindow.title;"
|
|
titlemodifier="&mainWindow.titlemodifier;"
|
|
titlepreface="&mainWindow.preface;"
|
|
titlemenuseparator ="&mainWindow.titlemodifierseperator;"
|
|
windowtype="Browser:view-source"
|
|
align="vertical" width="640" height="480"
|
|
screenX="10" screenY="10"
|
|
persist="screenX screenY width height sizemode">
|
|
|
|
|
|
<script language="javascript" src="chrome://global/content/nsJSSupportsUtils.js"></script>
|
|
<script language="javascript" src="chrome://global/content/nsJSComponentManager.js"></script>
|
|
<script language="javascript" src="chrome://global/content/nsTransferable.js"></script>
|
|
<script language="javascript" src="chrome://global/content/nsDragAndDrop.js"></script>
|
|
|
|
<script language="javascript" src="chrome://navigator/content/viewSourceDD.js"></script>
|
|
<script language="javascript" src="chrome://navigator/content/viewsource.js"></script>
|
|
|
|
<broadcasterset id="broadcasterset"/>
|
|
|
|
<commands id="commands">
|
|
<commandset id="globalEditMenuItems"/>
|
|
<commandset id="selectEditMenuItems"/>
|
|
<commandset id="undoEditMenuItems"/>
|
|
<commandset id="clipboardEditMenuItems"/>
|
|
</commands>
|
|
|
|
<!-- keys are appended from the overlay -->
|
|
<keyset id="keyset"/>
|
|
|
|
<!-- Menu -->
|
|
|
|
<box id="appcontent" align="vertical" flex="1"
|
|
ondragover="nsDragAndDrop.dragOver(event, contentAreaDNDObserver);"
|
|
ondraggesture="nsDragAndDrop.startDrag(event, contentAreaDNDObserver);">
|
|
|
|
<iframe id="content-frame" type="content-primary" name="content" src="about:blank" flex="1"/>
|
|
|
|
</box>
|
|
|
|
</window>
|