gecko-dev/suite/browser/viewSource.xul

60 lines
2.2 KiB
Plaintext
Raw Normal View History

1999-07-01 22:56:04 +00:00
<?xml version="1.0"?>
<?xml-stylesheet href="chrome://navigator/skin/" type="text/css"?>
1999-07-01 22:56:04 +00:00
<?xul-overlay href="chrome://navigator/content/navigatorOverlay.xul"?>
<?xul-overlay href="chrome://communicator/content/tasksOverlay.xul"?>
<!DOCTYPE window [
<!ENTITY % brandDTD SYSTEM "chrome://global/locale/brand.dtd" >
%brandDTD;
<!ENTITY % viewSourceDTD SYSTEM "chrome://navigator/locale/viewSource.dtd" >
%viewSourceDTD;
]>
<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="navigator:view-source"
align="vertical" width="640" height="480"
screenX="10" screenY="10"
persist="screenX screenY width height sizemode">
1999-07-01 22:56:04 +00:00
<script type="application/x-javascript" src="chrome://global/content/nsJSSupportsUtils.js"/>
<script type="application/x-javascript" src="chrome://global/content/nsJSComponentManager.js"/>
<script type="application/x-javascript" src="chrome://global/content/nsTransferable.js"/>
<script type="application/x-javascript" src="chrome://global/content/nsDragAndDrop.js"/>
<script type="application/x-javascript" src="chrome://communicator/content/contentAreaDD.js"/>
<script type="application/x-javascript" src="chrome://navigator/content/viewsource.js"/>
<broadcasterset id="broadcasterset"/>
<stringbundleset id="stringbundleset"/>
<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"/>
1999-07-01 22:56:04 +00:00
<!-- Menu -->
1999-07-01 22:56:04 +00:00
<box id="appcontent" align="vertical" flex="1"
ondragover="nsDragAndDrop.dragOver(event, contentAreaDNDObserver);"
ondraggesture="nsDragAndDrop.startDrag(event, contentAreaDNDObserver);"
ondragdrop="nsDragAndDrop.drop(event, contentAreaDNDObserver);">
<browser id="content" type="content-primary" name="content" src="about:blank" flex="1"/>
1999-07-01 22:56:04 +00:00
</box>
1999-07-01 22:56:04 +00:00
</window>