Eclipse Community Forums: Newcomers » Font size for tool tips

Home » Newcomers » Newcomers » Font size for tool tips

Font size for tool tips [message #146306]

Mon, 03 April 2006 05:36

Eclipse User

Originally posted by: usenetspamq106.desglaubst.net

Hello,

I would like to change the font size for the tool tips you get
when hovering the mouse over a java class. At my machine,
they ar shown in about 2 point size and are thus unreadable.
I'm using 3.2M6 on AMD64 linux gtk running on kde 3.5.2.

Thanks in advance,
Bernd

Re: Font size for tool tips [message #146324 is a reply to message #146306]

Mon, 03 April 2006 06:32

Eclipse User

Originally posted by: daniel.megert.eclipse.org

Bernd Jürgens wrote:

>Hello,
>
>I would like to change the font size for the tool tips you get
>when hovering the mouse over a java class. At my machine,
>they ar shown in about 2 point size and are thus unreadable.
>I'm using 3.2M6 on AMD64 linux gtk running on kde 3.5.2.
>
>
You currently can't control this. It's strange though that you get a 2pt
font.The used style sheet uses 10pt. How does it appear in the Javadoc view?

Dani

>Thanks in advance,
>Bernd
>
>

Re: Font size for tool tips [message #146347 is a reply to message #146324]

Mon, 03 April 2006 07:39

Eclipse User

Originally posted by: usenetspamq106.desglaubst.net

Hello Daniel,

thanks for your reply.

> You currently can't control this. It's strange though that you get a 2pt
> font.The used style sheet uses 10pt. How does it appear in the Javadoc
> view?

The javadoc view look ok. I made a screen shot (31kb).
http://www.weihenstephan.org/~bernjuer/tmp/eclipseScreenie.p ng

Any ideas?

Sincerely,
Bernd

Re: Font size for tool tips [message #146361 is a reply to message #146347]

Mon, 03 April 2006 08:43

Eclipse User

Originally posted by: daniel.megert.eclipse.org

Bernd Jürgens wrote:

>Hello Daniel,
>
>thanks for your reply.
>
>
>
>>You currently can't control this. It's strange though that you get a 2pt
>>font.The used style sheet uses 10pt. How does it appear in the Javadoc
>>view?
>>
>>
>
>The javadoc view look ok. I made a screen shot (31kb).
> http://www.weihenstephan.org/~bernjuer/tmp/eclipseScreenie.p ng
>
>Any ideas?
>
>
Is it for all Javadoc hovers or just some?

Dani

>Sincerely,
>Bernd
>
>

Re: Font size for tool tips [message #146792 is a reply to message #146361]

Tue, 04 April 2006 05:18

Eclipse User

Originally posted by: usenetspamq106.desglaubst.net

Hello,

> Is it for all Javadoc hovers or just some?

It is for all Hovers, those from SWT, the JDK and
my own classes.

Sincerely,
Bernd

Re: Font size for tool tips [message #146796 is a reply to message #146792]

Tue, 04 April 2006 05:40

Eclipse User

Originally posted by: usenetspamq106.desglaubst.net

I made another screen shot:
http://www.weihenstephan.org/~bernjuer/tmp/eclipseScreenie2. png
which I enlarged in Gimp:
http://www.weihenstephan.org/~bernjuer/tmp/eclipseScreenieBl owup.png

Thanks a lot,
Bernd

Re: Font size for tool tips [message #150875 is a reply to message #146306]

Wed, 03 May 2006 04:35

Eclipse User

Originally posted by: Hanno.Seidel.gmx.de

I have a "bad font" for tooltips too:
- "bad font" means not good readable
- I miss the possibility to change this font (type and size)
- I get the same "bad font" on "@ Javadoc"-view

Regards,
Hanno

Re: Font size for tool tips [message #150915 is a reply to message #150875]

Wed, 03 May 2006 16:47

Eclipse User

Originally posted by: daniel.megert.eclipse.org

Hanno wrote:

>I have a "bad font" for tooltips too:
>- "bad font" means not good readable
>- I miss the possibility to change this font (type and size)
>- I get the same "bad font" on "@ Javadoc"-view
>
>
Try 3.2 RC2.

Dani

>Regards,
>Hanno
>
>

Re: Font size for tool tips [message #151002 is a reply to message #150915]

Fri, 05 May 2006 02:17

Eclipse User

Originally posted by: Hanno.Seidel.gmx.de

> Try 3.2 RC2.

Oh, I'm using this.

Re: Font size for tool tips [message #151228 is a reply to message #151002]

Tue, 09 May 2006 03:35

Eclipse User

Originally posted by: Hanno.Seidel.gmx.de

I could solve this - it was a problem with a system font on my computer.

BTW:
1) Which font is used for the tool tip?
2) There should be a possibility to change the font inside eclipse.

Re: Font size for tool tips [message #172616 is a reply to message #146306]

Tue, 26 September 2006 18:56

Eclipse User

Originally posted by: wojtek.a.com

Bernd Jürgens wrote:
> Hello,
>
> I would like to change the font size for the tool tips you get
> when hovering the mouse over a java class.

I just loaded 3.2 Java 1.5 Windows XP

The font size for tooltips is about 14 point, really large.

Is there some buried setting which can change this? I have gone through all the font settings, but maybe some config file somewhere?

Re: Font size for tool tips [message #172709 is a reply to message #172616]

Wed, 27 September 2006 05:12

Eclipse User

Wojtek wrote:

> Bernd Jürgens wrote:
>
>> Hello,
>>
>> I would like to change the font size for the tool tips you get when
>> hovering the mouse over a java class.
>
>
> I just loaded 3.2 Java 1.5 Windows XP
>
> The font size for tooltips is about 14 point, really large.
>
> Is there some buried setting which can change this? I have gone
> through all the font settings, but maybe some config file somewhere?

Why not read the other posts in this thread first?

Dani

Re: Font size for tool tips [message #172750 is a reply to message #172709]

Wed, 27 September 2006 10:02

Eclipse User

Originally posted by: wojtek.a.com

Daniel Megert wrote:
> Why not read the other posts in this thread first?

Well yes I did, which is why I replied to a really old post.

I was hoping that someone may have discovered this since then and could give an answer.

Previous Topic:	Products extension point vs product configuration file
Next Topic:	Relocating views when maximised

Goto Forum:

-=] Back to Top [=-

Current Time: Thu Mar 13 15:15:46 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter