| how to change font [message #15073] |
Tue, 06 May 2003 11:39  |
Eclipse User |
|
|
|
Originally posted by: fxn.isoco.com
Is there a way to change the font used in non-editor panels such as the
Navigator and friends? The default font is too big for this 800x600. This
is under Linux, if that matters.
-- fxn
|
|
|
|
|
|
| Re: how to change font [message #17075 is a reply to message #15931] |
Thu, 08 May 2003 05:06  |
| Eclipse User |
|
|
|
Originally posted by: fxn.isoco.com
Stanimir Stamenkov wrote:
> Xavier Noria wrote:
>
>> Is there a way to change the font used in non-editor panels such as the
>> Navigator and friends? The default font is too big for this 800x600. This
>> is under Linux, if that matters.
>>
> For GTK:
>
>
http://dev.eclipse.org/viewcvs/index.cgi/~checkout~/platform -swt-home/faq.html#gtkfontsandcolors
No luck, I've done a lot of trials and the font in the Navigator, Outline,
CVS Repositories, etc. is always the same. I don't know what could I do
next.
This is running under Debian unstable with KDE 3.1.1. KDE uses anti-aliased
fonts. I have played both with .gtkrc and .gtkrc-2.0. Some applications, as
Grip, change the fonts according to .gtkrc, but they are not anti-aliased.
On the other hand, fonts in Eclipse are anti-aliased.
Any ideas?
-- fxn
|
|
|
| Re: how to change font [message #20205 is a reply to message #17075] |
Mon, 12 May 2003 15:19 |
| Eclipse User |
|
|
|
Xavier Noria wrote:
> Stanimir Stamenkov wrote:
>
>> For GTK:
>>
>> http://dev.eclipse.org/viewcvs/index.cgi/~checkout~/platform -swt-home/faq.html#gtkfontsandcolors
>>
>
> No luck, I've done a lot of trials and the font in the Navigator, Outline,
> CVS Repositories, etc. is always the same. I don't know what could I do
> next.
>
Could you post your .gtkrc file declarations? May be someone could
help better that way.
> This is running under Debian unstable with KDE 3.1.1. KDE uses anti-aliased
> fonts. I have played both with .gtkrc and .gtkrc-2.0. Some applications, as
> Grip, change the fonts according to .gtkrc, but they are not anti-aliased.
> On the other hand, fonts in Eclipse are anti-aliased.
>
> Any ideas?
>
When I've tried Eclipse under Linux it used .gtkrc-2.0 file so I
believe your customizations should go there. Actually I haven't used
the example given in the above URL but copied .gtkrc-kde file which
is generated by the KDE Control Center when choosing to change the
colors for non-KDE applications too. Then I added a font declaration
and everything gone fine. According to this document:
http://developer.gnome.org/doc/API/gtk/gtk-resource-files.ht ml#AEN4785
the font declaration should be:
style * {
font = "Sans 12"
}
and in the example there is given:
font_name = "Sans 12"
which is probably errorneous. As for the font anti-aliasing: may be
some older GTK applications use older libraries which doesn't
support font anti-aliasing.
--
Stanimir
|
|
|
Powered by
FUDForum. Page generated in 0.23882 seconds
Home