suzanne.soy/zotero
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Addresses #382, Make font sizes configurable/changeable

Browse Source 
Localize strings
This commit is contained in:
Dan Stillman 2007-02-01 09:20:18 +00:00
parent 006509b5d2
commit 8738662dc6
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
chrome/content/zotero/preferences.xul
View File

@ -85,9 +85,9 @@ To add a new preference:
<label value="&zotero.preferences.fontSize;" control="fontSize"/>
</hbox>
<radiogroup id="fontSize" orient="horizontal" preference="pref-fontSize">
<radio id="fontSize1" label="Small" value="1.0"/>
<radio id="fontSize2" label="Medium" value="1.25"/>
<radio id="fontSize3" label="Large" value="1.5"/>
<radio id="fontSize1" label="&zotero.preferences.fontSize.small;" value="1.0"/>
<radio id="fontSize2" label="&zotero.preferences.fontSize.medium;" value="1.25"/>
<radio id="fontSize3" label="&zotero.preferences.fontSize.large;" value="1.5"/>
</radiogroup>
</row>

3
chrome/locale/en-US/zotero/preferences.dtd
View File

@ -8,6 +8,9 @@
<!ENTITY zotero.preferences.position.browser "browser content">
<!ENTITY zotero.preferences.statusBarIcon "Status bar icon:">
<!ENTITY zotero.preferences.fontSize "Font size:">
<!ENTITY zotero.preferences.fontSize.small "Small">
<!ENTITY zotero.preferences.fontSize.medium "Medium">
<!ENTITY zotero.preferences.fontSize.large "Large">
<!ENTITY zotero.preferences.autoUpdate "Automatically check for updated scrapers">
<!ENTITY zotero.preferences.updateNow "Update now">
<!ENTITY zotero.preferences.reportTranslationFailure "Report broken site translators">