mirror of
https://github.com/zotero/zotero.git
synced 2026-10-10 03:28:10 +00:00
Migrate to our editMenuOverlay.js
This commit is contained in:
parent
d5deb406d7
commit
a566d83411
2 changed files with 1 additions and 2 deletions
|
|
@ -26,7 +26,6 @@
|
|||
style="padding: 20px 15px; min-width: 500px">
|
||||
|
||||
<script src="chrome://global/content/globalOverlay.js"/>
|
||||
<script src="chrome://global/content/editMenuOverlay.js"/>
|
||||
<script src="include.js"/>
|
||||
<script src="titlebar.js"/>
|
||||
<script src="editMenuOverlay.js"/>
|
||||
|
|
|
|||
|
|
@ -37,12 +37,12 @@
|
|||
|
||||
// Mozilla scripts
|
||||
Services.scriptloader.loadSubScript("chrome://global/content/globalOverlay.js", this);
|
||||
Services.scriptloader.loadSubScript("chrome://global/content/editMenuOverlay.js", this);
|
||||
Services.scriptloader.loadSubScript("chrome://global/content/contentAreaUtils.js", this);
|
||||
if (Zotero.isMac) {
|
||||
Services.scriptloader.loadSubScript("chrome://global/content/macWindowMenu.js", this);
|
||||
}
|
||||
|
||||
Services.scriptloader.loadSubScript("chrome://zotero/content/editMenuOverlay.js", this);
|
||||
Services.scriptloader.loadSubScript("chrome://zotero/content/customElements.js", this);
|
||||
</script>
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue