Home » Newcomers » Newcomers » Change font size in Java (source code) editor ?
|
| Re: Change font size in Java (source code) editor ? [message #190616 is a reply to message #190590] |
Mon, 29 January 2007 18:38   |
Eclipse User |
|
|
|
Originally posted by: wayne.beaton._NOSPAM_eclipse.org
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
HTH,
Wayne
|
|
| | |
| Re: Change font size in Java (source code) editor ? [message #190843 is a reply to message #190782] |
Tue, 30 January 2007 18:05 |
| Eclipse User |
|
|
|
Originally posted by: jacekp.siat.pl
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).
>
|
|
| |
| Re: Change font size in Java (source code) editor ? [message #190968 is a reply to message #190843] |
Wed, 31 January 2007 13:14 |
|
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
HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition
|
|
|
| Re: Change font size in Java (source code) editor ? [message #190985 is a reply to message #190968] |
Wed, 31 January 2007 13: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
|
|
| | |
Goto Forum:
Current Time: Fri Apr 26 22:20:32 GMT 2024
Powered by FUDForum. Page generated in 0.08358 seconds |
] 
Search
Help
Register
Login
Home
