diff options
author | Javier <dev.git@javispedro.com> | 2014-02-23 18:32:00 +0100 |
---|---|---|
committer | Javier <dev.git@javispedro.com> | 2014-02-23 18:32:00 +0100 |
commit | 1fbcb3f7bf7ddf955193d798837ab88cf2815112 (patch) | |
tree | 5c8d4f8c07e61a6ee72a00a2a47e6365f5689b38 /chrome/content/overlay.xul | |
parent | b0f4f142bf7abdcc1a8b9437911b6794a3cb09d2 (diff) | |
download | topmenu-mozilla-1fbcb3f7bf7ddf955193d798837ab88cf2815112.tar.gz topmenu-mozilla-1fbcb3f7bf7ddf955193d798837ab88cf2815112.zip |
convert into a restartless extension
Diffstat (limited to 'chrome/content/overlay.xul')
-rw-r--r-- | chrome/content/overlay.xul | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/chrome/content/overlay.xul b/chrome/content/overlay.xul deleted file mode 100644 index 3e61323..0000000 --- a/chrome/content/overlay.xul +++ /dev/null @@ -1,4 +0,0 @@ -<?xml version="1.0" encoding="UTF-8" ?> -<overlay id="topmenu-overlay" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> - <script type="application/x-javascript" src="chrome://topmenu/content/overlay.js"></script> -</overlay> |