mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Fix quick search styling (#4501)

Browse source 
fix: #4497
fix: #4498
This commit is contained in:
windingwind 2024-08-05 17:01:59 +08:00 • committed by GitHub
parent c5027106c2
commit 129938c8fe
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
chrome/content/zotero/elements/quickSearchTextbox.js
View file

@ -88,6 +88,8 @@
let searchBox = document.createXULElement("search-textbox");
searchBox.id = "zotero-tb-search-textbox";
// Enable applying styles to the input field
searchBox.inputField.setAttribute("part", "search-input");
this.searchTextbox = searchBox;
wrapper.appendChild(dropmarkerHost);
@ -110,6 +112,7 @@
let popup = document.createXULElement('menupopup');
popup.id = "search-mode-popup";
popup.toggleAttribute("needsgutter", true);
for (let [mode, label] of Object.entries(this._searchModes)) {
let item = document.createXULElement('menuitem');