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

Add more reasonable "Medium" font setting, and shift M/L to L/XL

Browse source 
Also adjust spacing of radio buttons in General pref pane
This commit is contained in:
Dan Stillman 2011-11-17 02:10:10 -05:00
parent d5e9ca11f3
commit 81b6974053
3 changed files with 20 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
chrome/content/zotero/preferences/preferences.xul
View file

@ -78,10 +78,11 @@ To add a new preference:
<hbox align="center">
<label value="&zotero.preferences.fontSize;" control="fontSize"/>
</hbox>
<radiogroup id="fontSize" orient="horizontal" preference="pref-fontSize">
<radiogroup id="fontSize" orient="horizontal" align="center" preference="pref-fontSize">
<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"/>
<radio id="fontSize2" label="&zotero.preferences.fontSize.medium;" value="1.15"/>
<radio id="fontSize3" label="&zotero.preferences.fontSize.large;" value="1.3"/>
<radio id="fontSize4" label="&zotero.preferences.fontSize.xlarge;" value="1.5"/>
</radiogroup>
</row>

1
chrome/locale/en-US/zotero/preferences.dtd
View file

@ -17,6 +17,7 @@
<!ENTITY zotero.preferences.fontSize.small "Small">
<!ENTITY zotero.preferences.fontSize.medium "Medium">
<!ENTITY zotero.preferences.fontSize.large "Large">
<!ENTITY zotero.preferences.fontSize.xlarge "X-Large">
<!ENTITY zotero.preferences.fontSize.notes "Note font size:">
<!ENTITY zotero.preferences.miscellaneous "Miscellaneous">

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

@ -50,24 +50,31 @@ grid row hbox:first-child
#fontSize2
{
font-size: 1.25em;
font-size: 1.15em;
}
#fontSize3
{
font-size: 1.3em;
}
#fontSize4
{
font-size: 1.5em;
}
#fontSize radio, #statusBarIcon radio
#showIn radio, #statusBarIcon radio
{
width: 90px;
}
#showIn radio
{
width: 135px;
width: 120px;
}
#fontSize radio .radio-icon, #statusBarIcon radio .radio-icon
#fontSize radio
{
margin-right: 20px;
}
#statusBarIcon radio .radio-icon
{
margin-left: 6px;
}