|
|
|
|
|
|
| Re: Change font size in Java (source code) editor ? [message #190968 is a reply to message #190843] |
Wed, 31 January 2007 08:14   |
Eclipse User |
|
|
|
Jacek Pospychala wrote:
> Hi!
> most of the fonts used in eclipse user interface are taken from OS. In
> linux this means, you can change all fonts by modifying gtk
> configuration. Search the internet for .gtkrc, it's quite often topic.
>
> cheers
> Jacek
>
> Lorenzo Bettini napisał(a):
>>> Wayne Beaton wrote:
>>>
>>>> Charle Kelly wrote:
>>>>
>>>>> Can the size of the font used in the Java source code editor be
>>>>> changed?
>>>>> If yes, how?
>>>>>
>>>>> Thanks
>>>>>
>>>>> Charlie
>>>>
>>>>
>>>> Window > Preferences > General > Appearance > Colors and Fonts >
>>>> Java > Java Editor Text Font
>>>>
>>
>> is there a way to change all the fonts? In particular I'd like them
>> to be smaller (e.g., in linux fonts are much bigger than in windows).
>>
I'm using kde and not gnome, and I don't have such a file...
so it's not possible to change the overall font size from eclipse?
--
Lorenzo Bettini, PhD in Computer Science, DSI, Univ. di Firenze
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com
BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com
http://www.gnu.org/software/src-highlite
http://www.gnu.org/software/gengetopt
http://www.gnu.org/software/gengen http://doublecpp.sourceforge.net
|
|
|
| Re: Change font size in Java (source code) editor ? [message #190985 is a reply to message #190968] |
Wed, 31 January 2007 08:29 |
| Eclipse User |
|
|
|
Originally posted by: jacekp.siat.pl
Lorenzo Bettini napisał(a):
> Jacek Pospychala wrote:
>> Hi!
>> most of the fonts used in eclipse user interface are taken from OS. In
>> linux this means, you can change all fonts by modifying gtk
>> configuration. Search the internet for .gtkrc, it's quite often topic.
>>
>> cheers
>> Jacek
>>
>> Lorenzo Bettini napisał(a):
>>>> Wayne Beaton wrote:
>>>>
>>>>> Charle Kelly wrote:
>>>>>
>>>>>> Can the size of the font used in the Java source code editor be
>>>>>> changed?
>>>>>> If yes, how?
>>>>>>
>>>>>> Thanks
>>>>>>
>>>>>> Charlie
>>>>>
>>>>>
>>>>> Window > Preferences > General > Appearance > Colors and Fonts >
>>>>> Java > Java Editor Text Font
>>>>>
>>>
>>> is there a way to change all the fonts? In particular I'd like them
>>> to be smaller (e.g., in linux fonts are much bigger than in windows).
>>>
>
> I'm using kde and not gnome, and I don't have such a file...
>
> so it's not possible to change the overall font size from eclipse?
>
Eclipse is compiled with gtk, so it requires gtk libs to run. That
doesn't mean you should switch to gnome :)
Essentially work that you have to do is to find, where the .gtkrc file
should be located and what should be inside.
Have a look at here, for similar problem, but with buttons:
http://ubuntuforums.org/archive/index.php/t-16083.html
And here an example gtkrc file:
http://dev.eclipse.org/newslists/news.eclipse.tools/msg37977 .html
let me know if you have any further questions
Jacek
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.14379 seconds
Home