| How to change Prefs outside of the IDE? [message #119350] |
Fri, 29 August 2003 13:30  |
Eclipse User |
|
|
|
Originally posted by: adam.sosume.org
Hi,
I a reasonably new Eclipse user so go easy on me :)
I just ran the IDE's updater and it proceeded to download new jars and
install them. once done, I restarted Eclipse and found that the font
that was now set as the 'Java Editor Text Font' is Lucinda Grande-13
which on my 12" apple powerbook is HUGE. So I opened the preferences to
change it to something a little smaller and of fixed width to find that
the 'Change' button doesn't respond to my repeated clicking.
So, does anyone know of a way to go into the guts of Eclipse and change
this value outside of the preferences panel?
Alternatively, if you know the reason that the 'Change' button isn't
playing ball?
Version: 2.1.1
Build id: 200306271545
Thanks in advance,
Adam
|
|
|
| Re: How to change Prefs outside of the IDE? [message #127252 is a reply to message #119350] |
Thu, 11 September 2003 05:23  |
| Eclipse User |
|
|
|
Originally posted by: daniel.megert.gmx.net
Adam wrote:
>Hi,
>
>I a reasonably new Eclipse user so go easy on me :)
>
>I just ran the IDE's updater and it proceeded to download new jars and
>install them. once done, I restarted Eclipse and found that the font
>that was now set as the 'Java Editor Text Font' is Lucinda Grande-13
>which on my 12" apple powerbook is HUGE. So I opened the preferences to
>change it to something a little smaller and of fixed width to find that
>the 'Change' button doesn't respond to my repeated clicking.
>
>So, does anyone know of a way to go into the guts of Eclipse and change
>this value outside of the preferences panel?
>
Most preferences are kept in files under .metadata directory. In your
case this would be:
..metadata/.plugins/org.eclipse.ui.workbench/pref_store.ini
Example entry (Windows XP):
org.eclipse.jdt.ui.editors.textfont=1|Courier
New|10|0|WINDOWS|1|-13|0|0|0|400|0|0|0|0|3|2|1|49|Courier New;
>Alternatively, if you know the reason that the 'Change' button isn't
>playing ball?
>
This sounds like a bug. Do you see any errors in .log?
HTH
Dani
>
>
>Version: 2.1.1
>Build id: 200306271545
>
>Thanks in advance,
>Adam
>
>
|
|
|
Powered by
FUDForum. Page generated in 0.03636 seconds
Home