mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-02 07:05:24 +00:00
29 lines
838 B
XML
29 lines
838 B
XML
<?xml version="1.0"?>
|
|
|
|
<!DOCTYPE window SYSTEM "chrome://xmlterm/locale/xmltermOverlay.dtd" >
|
|
|
|
<!-- This is the overlay that adds "XMLterm" to the (global) task menu. -->
|
|
|
|
<overlay id="XMLtermTaskMenuID"
|
|
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
|
|
|
|
<script type="application/x-javascript" src="chrome://xmlterm/content/xmltermOverlay.js"/>
|
|
|
|
<keyset id="tasksKeys">
|
|
<key id="key_xmlterm" key="&xmltermCmd.commandkey;"
|
|
command="Tasks:xmlterm" modifiers="accel"/>
|
|
</keyset>
|
|
|
|
<commandset id="tasksCommands">
|
|
<command id="Tasks:xmlterm" oncommand="toXMLterm();"/>
|
|
</commandset>
|
|
|
|
<menupopup id="taskPopup">
|
|
<menuitem label="&xmltermCmd.label;" accesskey="&xmltermCmd.accesskey;"
|
|
key="key_xmlterm"
|
|
position="6"
|
|
command="Tasks:xmlterm"/>
|
|
</menupopup>
|
|
|
|
</overlay>
|