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

Place word processor plugin installers under heading and fix spacing

Browse source 
Fixes #3147
This commit is contained in:
Abe Jellinek 2023-06-05 10:52:04 -04:00
parent d077388616
commit 5e41b3ab4d
3 changed files with 20 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/preferences/preferences_cite.xhtml
View file

@ -70,6 +70,8 @@
</vbox>
<vbox class="main-section" id="wordProcessors">
<html:h1>&zotero.preferences.cite.wordProcessors;</html:h1>
<vbox id="wordProcessorInstallers"/>
<checkbox label="&zotero.preferences.cite.wordProcessors.useClassicAddCitationDialog;" preference="extensions.zotero.integration.useClassicAddCitationDialog" native="true"/>
</vbox>

9
chrome/skin/default/zotero/preferences.css
View file

@ -489,6 +489,15 @@ button {
margin-top: 10px;
}
#wordProcessorInstallers {
margin-block: 0.5em;
}
#wordProcessorInstallers > groupbox > label > h2 {
/* Override spacing added between groupboxes */
margin-top: 0.5em !important;
}
#styleManager
{
height: 250px;

16
resource/word-processor-plugin-installer.js
View file

@ -170,9 +170,11 @@ ZoteroPluginInstaller.prototype = {
groupbox = document.createXULElement("groupbox");
groupbox.id = this._addon.EXTENSION_DIR;
var caption = document.createXULElement("caption");
caption.setAttribute("label", this._addon.APP);
groupbox.appendChild(caption);
var label = document.createXULElement("label");
var h2 = document.createElement('h2');
h2.textContent = this._addon.APP;
label.appendChild(h2);
groupbox.appendChild(label);
var description = document.createXULElement("description");
description.style.width = "45em";
@ -202,12 +204,12 @@ ZoteroPluginInstaller.prototype = {
hbox.appendChild(button);
groupbox.appendChild(hbox);
var tabpanel = document.getElementById("wordProcessors"),
var container = document.getElementById("wordProcessorInstallers"),
old = document.getElementById(this._addon.EXTENSION_DIR);
if(old) {
tabpanel.replaceChild(groupbox, old);
container.replaceChild(groupbox, old);
} else {
tabpanel.insertBefore(groupbox, tabpanel.firstChild);
container.appendChild(groupbox);
}
},
@ -245,4 +247,4 @@ ZoteroPluginInstaller.prototype = {
}, 500);
}, 100);
},
};
};