mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-07 12:15:51 +00:00
f3b81d69c9
XMLterm changes only. Implemented chrome overlay a la Chatzilla to insert XMLterm into the Tasks menu. Also implemented command line option "-terminal" and URL handler "telnet://" to invoke XMLterm.
23 lines
568 B
XML
23 lines
568 B
XML
<?xml version="1.0"?>
|
|
|
|
<!--
|
|
<!DOCTYPE window SYSTEM "chrome://xmlterm/locale/xmltermOverlay.dtd" >
|
|
-->
|
|
|
|
<!-- This is the overlay that addes "XMLterm" to the (global) task menu. -->
|
|
|
|
<overlay id="XMLtermTaskMenuID"
|
|
xmlns:html="http://www.w3.org/TR/REC-html40"
|
|
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
|
|
|
|
<html:script language="JavaScript" src="chrome://xmlterm/content/xmltermOverlay.js"/>
|
|
|
|
<menupopup id="taskPopup">
|
|
<menuitem
|
|
position="7"
|
|
value="XMLterm"
|
|
oncommand="toXMLterm()"/>
|
|
</menupopup>
|
|
|
|
</overlay>
|