On Mon, 11 Oct 1999, Jacob Nikom wrote:

> Date: Mon, 11 Oct 1999 12:23:55 -0400
> From: Jacob Nikom <[EMAIL PROTECTED]>
> To: [EMAIL PROTECTED]
> Cc: [EMAIL PROTECTED]
> Subject: Re: Changing the font on Swing slider
> 
> Hi Philippe,
> 
> Thank you very much for your suggestion - it work very well
> with TabbedPane component. However, when I tried to apply it
> to SLider widget, it did not work.
> 
> I got the info about all PLAF properties by calling
> UIManager.getDefaults().
> Here is the simple program:
> 
> import java.util.*;
> 
> class Plaf
> {
>    public static void main(String[] args)
>    {
>       Hashtable defaultProps = UIManager.getDefaults();
>       
>       Enumeration enum = defaultProps.keys();
>       while(enum.hasMoreElements())
>       {
>          Object key = enum.nextElement();
>          System.out.println("Property: " + key); 
>          System.out.println("Value:    " + defaultProps.get(key) +
> '\n');
>       }
>    }
> }
> 
> However, analyzing the long list of properties I found no Slider font.
> This is strange, because Slider does have font for its title and for
> its ticks. Do you think I made some mistakes and the font property
> does exist for Slider?
> 
> Jacob
> 
> 
> 
> Philippe Hacquin wrote:
> > 
> > I had similar problems using diffrenet Swing components.
> > Try
> >         UIManager.put("TabbedPane.font", myFont);
> > 
> > and other parameters that you can retrieve in Swing's WindowsLookAndFeel.java or
> > other LAF classes.
> > 
> > On Sat, 09 Oct 1999, Alex M. wrote:
> > > Yeah... I think it is in com.sun.plaf.DefaultLookAndFeel or something like
> > > that.
> > >
> > > On Fri, 8 Oct 1999, Jacob Nikom wrote:
> > >
> > > > Do you know where the information about
> > > > current settings is located?
> > > >
> > > > Jacob
> > > >
> > > > [EMAIL PROTECTED] wrote:
> > > > >
> > > > > hmmm... if that doesn't work, you might try overriding the PLAF for that
> > > > > component.
> > > > >
> > > > > On Thu, 7 Oct 1999, Jacob Nikom wrote:
> > > > >
> > > > > > Hi,
> > > > > >
> > > > > > I am trying to change the font style and size on some
> > > > > > of the Swing widgets, mostly JSlider (tick marks numbers), TabbedPanes
> > > > > > (tab names), etc. You cannot not set them up
> > > > > > directly with setFont.
> > > > > >
> > > > > > I could not find any information how to do it. Do you
> > > > > > have any idea how to do it?
> > > > > >
> > > > > > Thank you,
> > > > > >
> > > > > > Jacob Nikom
> > > > > >
> > > > > >
> > > > > > ----------------------------------------------------------------------
> > > > > > To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> > > > > > with a subject of "unsubscribe". Trouble? Contact 
>[EMAIL PROTECTED]
> > > > > >
> > > > >
> > > > > ----------------------------------------------------------------------
> > > > > To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> > > > > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
> > > >
> > > >
> > > > ----------------------------------------------------------------------
> > > > To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> > > > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
> > > >
> > >
> > >
> > > ----------------------------------------------------------------------
> > > To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> > > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
> 
> 
> ----------------------------------------------------------------------
> To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
> 
> 
unsubscribe
                                                                            
     ################       #        #              
    #     #          #     ###      ###                  
   #       #          #   #####    #####        
  ##       ##  #####  ## #######  #######    00 000  00000  0000   000
  ##       ##  #   #  ##   ###      ###     0 0 0  0   0    0      00
  ##  ###  ##  #####  ##   ###      ###    0oo0 000    0    000    00
  ##  # #  ##         ##   ###      ###   0   0 0 0    0    0 
  ##  # #  ##         ##   ###      ###  0    0 0  0   0    0000   00
#######################################################################
################### LA MUSICA CHIAMA GLI ARTISTI ! ####################
#######################################################################



----------------------------------------------------------------------
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to