| Package Explorer font size [message #54390] |
Thu, 22 May 2003 06:41  |
Eclipse User |
|
|
|
Hi,
I'm trying to change font size for my package explorer and it's not
working. Is it right or not (I tried to find such a bug but I didn't).
Jirka
|
|
|
|
|
|
| Re: Package Explorer font size [message #54496 is a reply to message #54470] |
Fri, 23 May 2003 06:24  |
| Eclipse User |
|
|
|
First of all I tried it, but the BUGzilla is a little bit confising for
me. I try to chatch its meaning again.
The most confusing I consider, when you are running Eclipse under KDE,
then you have to edit some .gtkrc-2.0 file to change the font (on my
system this was necessary) and it's not straightforward.
Thanks for help
Daniel Megert wrote:
> Jiri Mares wrote:
>
>> Thanks, I wasn't easy, because I'm using KDE not GNome, but I reach
>> the desired look of the Package explorer.
>>
>> Isn't it a little bit confusing that some fonts are adjustable from
>> eclipse and some are not?
>
>
> I agree. I guess it's because on one side Eclipse tries to look as
> native as possible and on the other hand there is a real need to adjust
> some of the fonts (e.g. for editors). Feel free to add a RFE with bugzilla.
>
> Dani
>
|
|
|
| Re: Package Explorer font size [message #593912 is a reply to message #54390] |
Thu, 22 May 2003 09:29 |
| Eclipse User |
|
|
|
Originally posted by: daniel.megert.gmx.net
Jiri Mares wrote:
> Hi,
>
> I'm trying to change font size for my package explorer and it's not
> working. Is it right or not (I tried to find such a bug but I didn't).
It's based on the font of your OS. You'll have to change the font in the
standard OS settings.
Dani
|
|
|
| Re: Package Explorer font size [message #593922 is a reply to message #54418] |
Fri, 23 May 2003 03:12 |
| Eclipse User |
|
|
|
Thanks, I wasn't easy, because I'm using KDE not GNome, but I reach the
desired look of the Package explorer.
Isn't it a little bit confusing that some fonts are adjustable from
eclipse and some are not?
Daniel Megert wrote:
> Jiri Mares wrote:
>
>> Hi,
>>
>> I'm trying to change font size for my package explorer and it's not
>> working. Is it right or not (I tried to find such a bug but I didn't).
>
>
> It's based on the font of your OS. You'll have to change the font in the
> standard OS settings.
>
> Dani
>
|
|
|
| Re: Package Explorer font size [message #593936 is a reply to message #54444] |
Fri, 23 May 2003 04:12 |
| Eclipse User |
|
|
|
Originally posted by: daniel.megert.gmx.net
Jiri Mares wrote:
> Thanks, I wasn't easy, because I'm using KDE not GNome, but I reach
> the desired look of the Package explorer.
>
> Isn't it a little bit confusing that some fonts are adjustable from
> eclipse and some are not?
I agree. I guess it's because on one side Eclipse tries to look as
native as possible and on the other hand there is a real need to adjust
some of the fonts (e.g. for editors). Feel free to add a RFE with bugzilla.
Dani
|
|
|
| Re: Package Explorer font size [message #593943 is a reply to message #54470] |
Fri, 23 May 2003 06:24 |
| Eclipse User |
|
|
|
First of all I tried it, but the BUGzilla is a little bit confising for
me. I try to chatch its meaning again.
The most confusing I consider, when you are running Eclipse under KDE,
then you have to edit some .gtkrc-2.0 file to change the font (on my
system this was necessary) and it's not straightforward.
Thanks for help
Daniel Megert wrote:
> Jiri Mares wrote:
>
>> Thanks, I wasn't easy, because I'm using KDE not GNome, but I reach
>> the desired look of the Package explorer.
>>
>> Isn't it a little bit confusing that some fonts are adjustable from
>> eclipse and some are not?
>
>
> I agree. I guess it's because on one side Eclipse tries to look as
> native as possible and on the other hand there is a real need to adjust
> some of the fonts (e.g. for editors). Feel free to add a RFE with bugzilla.
>
> Dani
>
|
|
|
Powered by
FUDForum. Page generated in 0.31581 seconds
Home