|
Re: Package Explorer font size [message #54418 is a reply to message #54390] |
Thu, 22 May 2003 13: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 #54470 is a reply to message #54444] |
Fri, 23 May 2003 08: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 #593912 is a reply to message #54390] |
Thu, 22 May 2003 13: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 #593936 is a reply to message #54444] |
Fri, 23 May 2003 08: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
|
|
|
|
Powered by
FUDForum. Page generated in 0.04525 seconds