How to reduce a tooltip font size in JBossTools

[andrey.savchuk]

How to reduce a tooltip font size in JBossTools because it's too big while I prefer a smaller? Where are those options in settings?

[maxandersen]

what versions and OS are you running on ?

Based on the screenshot I reckon you are on some old version with an old browser that does not handle css too nicely ?

[andrey.savchuk]

I'm not sure this issue is related to OS. It's more likely related to IDE which is Eclipse Luna.

[maxandersen]

Ok Andreas, sorry you think that way.

If you think it is caused by Eclipse Luna then open bug at bugs.eclipse.org.

If you want me to help you then please let me know what OS you are on since the tooltip in the Eclipse screenshot you are showing are using the native OS browser widget thus the OS is quite important.

[andrey.savchuk]

You were right, Max. The reason was in IE where font size was set to big. After that I have changed it to medium the problem had gone. Thanks.

[maxandersen]

Good to hear you solved it.

I actually had expected this was on Linux and that on windows it was honoring the right css. Guess not ;/