preferences_firefox.xul (4366B)
1 <?xml version="1.0"?> 2 <!-- 3 ***** BEGIN LICENSE BLOCK ***** 4 5 Copyright © 2006–2013 Center for History and New Media 6 George Mason University, Fairfax, Virginia, USA 7 http://zotero.org 8 9 This file is part of Zotero. 10 11 Zotero is free software: you can redistribute it and/or modify 12 it under the terms of the GNU Affero General Public License as published by 13 the Free Software Foundation, either version 3 of the License, or 14 (at your option) any later version. 15 16 Zotero is distributed in the hope that it will be useful, 17 but WITHOUT ANY WARRANTY; without even the implied warranty of 18 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 19 GNU Affero General Public License for more details. 20 21 You should have received a copy of the GNU Affero General Public License 22 along with Zotero. If not, see <http://www.gnu.org/licenses/>. 23 24 ***** END LICENSE BLOCK ***** 25 --> 26 <!DOCTYPE prefwindow [ 27 <!ENTITY % preferencesDTD SYSTEM "chrome://zotero/locale/preferences.dtd"> %preferencesDTD; 28 <!ENTITY % zoteroDTD SYSTEM "chrome://zotero/locale/zotero.dtd"> %zoteroDTD; 29 ]> 30 31 <?xml-stylesheet href="chrome://global/skin/global.css"?> 32 <?xml-stylesheet href="chrome://browser/skin/preferences/preferences.css"?> 33 <?xml-stylesheet href="chrome://zotero/skin/preferences.css"?> 34 35 <overlay xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> 36 <prefwindow id="zotero-prefs"> 37 <prefpane id="zotero-prefpane-proxies" 38 label="&zotero.preferences.prefpane.proxies;" 39 image="chrome://zotero/skin/prefs-proxies.png" 40 onpaneload="Zotero_Preferences.Proxies.init()" 41 position="6" 42 helpTopic="proxies"> 43 <description width="45em" style="font-size: 12px"> 44 &zotero.preferences.proxies.desc_before_link; 45 <label class="zotero-text-link" href="http://www.zotero.org/support/proxies" 46 value="&zotero.preferences.proxies.desc_link;"/> 47 &zotero.preferences.proxies.desc_after_link; 48 </description> 49 50 <command id="zotero-proxies-update" oncommand="Zotero_Preferences.Proxies.updateProxyPrefs()"/> 51 <checkbox id="zotero-proxies-transparent" label="&zotero.preferences.proxies.transparent;" 52 command="zotero-proxies-update"/> 53 <vbox style="margin-left: 1em"> 54 <checkbox id="zotero-proxies-autoRecognize" label="&zotero.preferences.proxies.autoRecognize;" 55 command="zotero-proxies-update"/> 56 <checkbox id="zotero-proxies-showRedirectNotification" label="&zotero.preferences.proxies.showRedirectNotification;" 57 command="zotero-proxies-update"/> 58 <hbox style="display: block; line-height: 1.75em"> 59 <checkbox id="zotero-proxies-disableByDomain-checkbox" 60 label="&zotero.preferences.proxies.disableByDomain;" 61 command="zotero-proxies-update"/> 62 <textbox id="zotero-proxies-disableByDomain-textbox" 63 onchange="Zotero_Preferences.Proxies.updateProxyPrefs()" 64 flex="1" style="max-width: 11.75em"/> 65 </hbox> 66 </vbox> 67 68 <groupbox flex="1" id="proxyGroup"> 69 <caption label="&zotero.preferences.proxies.configured;"/> 70 71 <tree id="proxyTree" hidecolumnpicker="true" rows="6" seltype="single" 72 ondblclick="Zotero_Preferences.Proxies.showProxyEditor(this.currentIndex)" onselect="Zotero_Preferences.Proxies.enableProxyButtons()" 73 onkeypress="if (event.keyCode == event.DOM_VK_DELETE) { Zotero_Preferences.Proxies.deleteProxy(); }"> 74 <treecols> 75 <treecol id="proxyTree-hostname" label="&zotero.preferences.proxies.hostname;" flex="1"/> 76 <treecol id="proxyTree-scheme" label="&zotero.preferences.proxies.scheme;" flex="3"/> 77 </treecols> 78 <treechildren id="proxyTree-rows"/> 79 </tree> 80 <separator class="thin"/> 81 <hbox> 82 <button disabled="true" id="proxyTree-edit" label="&zotero.general.edit;" onclick="Zotero_Preferences.Proxies.showProxyEditor(document.getElementById('proxyTree').currentIndex)"/> 83 <spacer flex="1"/> 84 <button disabled="true" id="proxyTree-delete" label="-" onclick="Zotero_Preferences.Proxies.deleteProxy()"/> 85 <button label="+" id="proxyTree-add" onclick="Zotero_Preferences.Proxies.showProxyEditor()"/> 86 </hbox> 87 </groupbox> 88 89 <separator/> 90 <separator/> 91 </prefpane> 92 93 <script src="preferences_proxies.js" type="application/javascript;version=1.8"/> 94 </prefwindow> 95 </overlay>