Olaf,
Thank you for the help! For those who happen to encounter the same problem, you
need to edit the following in the registry editor: HKEY_CURRENT_USER > Software
> JavaSoft > Prefs > net > sf > jabref > menu/Font/Size. It appears that my
font size was not “200”, but “1120” instead!
Chris
From: [email protected] [mailto:[email protected]] On Behalf Of Olaf Lenz
Sent: Tuesday, February 11, 2014 2:04 AM
To: Christopher Bilder
Subject: Re: [Jabref-users] Override default font settings for menu problem
Hi!
The preferences for JabRef are stored in the Windows registry, like all Java
preferences. I am not using Windows myself, so I cannot check it, but have a
look for a key "fontSize" somewhere below java.net.sf.jabref or so.
Olaf
2014-02-10 21:19 GMT+01:00 Christopher Bilder
<[email protected]<mailto:[email protected]>>:
Greetings. I recently tried to change the default font settings for the menu
(Options > Preferences > Appearance) from the default of size 11 to a size of
20. I must have accidently typed a new size of 200 because now my menu text is
so large that I can not use it! To solve my problem, I tried uninstalling and
reinstalling JabRef (and even Java), but this has not worked. Does anyone have
ideas on to solve this problem? Given the nature of the problem, I would think
that JabRef is putting some appearance settings somewhere outside of its own
folder, but I can not find where.
Thank you in advance for any help that members can provide. Note I am using
Windows 8.1.
Chris
------------------------------------------------------------------------------
Androi apps run on BlackBerry 10
Introducing the new BlackBerry 10.2.1 Runtime for Android apps.
Now with support for Jelly Bean, Bluetooth, Mapview and more.
Get your Android app in front of a whole new audience. Start now.
http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk
_______________________________________________
Jabref-users mailing list
[email protected]<mailto:[email protected]>
https://lists.sourceforge.net/lists/listinfo/jabref-users
------------------------------------------------------------------------------
Android apps run on BlackBerry 10
Introducing the new BlackBerry 10.2.1 Runtime for Android apps.
Now with support for Jelly Bean, Bluetooth, Mapview and more.
Get your Android app in front of a whole new audience. Start now.
http://pubads.g.doubleclick.net/gampad/clk?id=124407151&iu=/4140/ostg.clktrk
_______________________________________________
Jabref-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jabref-users
