mirror of
https://github.com/zotero/zotero.git
synced 2026-09-24 00:51:37 +00:00
Hide add-on search box
This commit is contained in:
parent
aae77c6015
commit
c812cfd6c0
1 changed files with 1 additions and 0 deletions
|
|
@ -2,6 +2,7 @@
|
|||
<overlay id="zotero-addons"
|
||||
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
|
||||
|
||||
<textbox id="header-search" hidden="true"/>
|
||||
<page id="addons-page">
|
||||
<script type="application/javascript" src="chrome://zotero/content/standalone/extensionsOverlay.js"/>
|
||||
</page>
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue