Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-01-07 11:56:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

- not built -

Browse Source 
include more javascript!
This commit is contained in:
rginda%netscape.com 2001-04-21 02:07:17 +00:00
parent 6baf04f562
commit 52613a81da
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
extensions/venkman/resources/content/venkman.xul
View File

@ -58,6 +58,8 @@
]]>
</script>
<script src="chrome://global/content/strres.js"/>
<script src="chrome://venkman/content/html-consts.js"/>
<script src="chrome://venkman/content/command-manager.js"/>
@ -67,6 +69,8 @@
<script src="chrome://venkman/content/venkman-debugger.js"/>
<script src="chrome://venkman/content/venkman-commands.js"/>
<script src="chrome://venkman/content/venkman-prefs.js"/>
<script src="chrome://venkman/content/venkman-eval.js"/>
<script src="chrome://venkman/content/venkman-msg.js"/>
<commandset id="tasksCommands">
<command id="cmd_close" oncommand="window.close();"/>