Short question about JSlider

Thread view:

aurengo@wanadoo.fr - 24 Aug 2006 21:15 GMT

Hi,

I have a problem with the font of JSlider labels.
This code compiles but does not work and I am wondering how I can set
the label font :

JSlider s = new JSlider(JSlider.HORIZONTAL,min,max,value);
Font f = new Font("Monaco", Font.PLAIN,9);
s.setFont(f);
...

Thanks for your help and suggestions

Reply to this Message

Ben Kraufmann - 24 Aug 2006 21:58 GMT

On Thu, 24 Aug 2006 22:15:08 +0200, aurengo wrote:

> Hi,
>
[quoted text clipped - 8 lines]
>
> Thanks for your help and suggestions

Hi,

it's a known bug that JSlider ignores setFont().
So, extending JSlider with your own labels may be a good idea.
Or getting in touch with Java6? ;)

Ben

Reply to this Message

Michael Rauscher - 24 Aug 2006 22:16 GMT

Ben Kraufmann schrieb:

> On Thu, 24 Aug 2006 22:15:08 +0200, aurengo wrote:
>
[quoted text clipped - 14 lines]
>
> it's a known bug that JSlider ignores setFont().

It's not a bug, it's a feature (although I've to admit that it would
have been nice if the slider's font had been taken into account):

http://java.sun.com/docs/books/tutorial/uiswing/components/slider.html

> So, extending JSlider with your own labels may be a good idea.

That is a bad idea. The OP simply needs to do what the documentation
tells him to do:

Font font = slider.getFont();
Dictionary dict = slider.getLabelTable();
for ( Enumeration e = dict.elements(); e.hasMoreElements(); ) {
Object element = e.nextElement();
if ( element instanceof JComponent ) {
((JComponent)element).setFont( font );
}
}

Bye
Michael

Reply to this Message

Short question about JSlider

Free Magazines