ui: 调整设置窗口调度，修复转换器页面展示不全问题

l0o0 · Oct 22, 2022 · 9b3be89 · 9b3be89
1 parent 63b4631
commit 9b3be89
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/chrome/content/preferences.xul b/chrome/content/preferences.xul
@@ -32,8 +32,8 @@
                     <tab label="&about;"/>
                 </tabs>
 
-                <tabpanels id="zotero-prefpane-jasminum" orient="vertical" minheight="540">
-                    <tabpanel id="zotero-prefpane-chinese-tab">
+                <tabpanels id="zotero-prefpane-jasminum">
+                    <tabpanel id="zotero-prefpane-chinese-tab" orient="vertical" minheight="600">
                         <vbox flex="1">
                             <groupbox>
                                 <caption label="&chinese.caption;"/>
@@ -132,7 +132,7 @@
                             </groupbox>
                         </vbox>
                     </tabpanel>
-                    <tabpanel id="zotero-prefpane-translators-tab" orient="vertical">
+                    <tabpanel id="zotero-prefpane-translators-tab" orient="vertical"  minheight="600">
                         <description>&translator.notiice;</description>
                         <listbox id="translators-listbox" flex="1">
 		                <listhead>

diff --git a/chrome/content/scripts/preferences.js b/chrome/content/scripts/preferences.js
@@ -117,7 +117,7 @@ initTranslatorPanel = async function (update = true) {
             listbox.appendChild(listitem);
         }
         // Create empty row for Mac to take up the last row space
-        if (Zotero.isMac) {
+        if (Zotero.isMac || Zotero.isLinux) {
             listitem = document.createElement("listitem");
             listcell = document.createElement("listcell");
             listitem.appendChild(listcell);