Package org.opensourcephysics.tools

Class FontSizer

java.lang.Object

org.opensourcephysics.tools.FontSizer

public class FontSizer
extends java.lang.Object

A class for setting relative font sizes by level.

Field Summary

Fields

Modifier and Type	Field	Description
static java.awt.Font	ACCELERATOR_FONT	Base font for menu accelerators
static ResizableIcon	ARROW_ICON
static java.awt.Font	BUTTON_FONT	Base font for buttons
static ResizableIcon	CHECKBOX_ICON
static ResizableIcon	CHECKBOXMENUITEM_ICON	Icons for checkbox, radio button and arrow menu items
static int	MAX_LEVEL	maximum font level
static ResizableIcon	RADIOBUTTON_ICON
static ResizableIcon	RADIOBUTTONMENUITEM_ICON
static java.awt.Font	TEXT_FONT	Base font for text fields

Method Summary

Modifier and Type	Method	Description
static void	addPropertyChangeListener(java.lang.String property, java.beans.PropertyChangeListener listener)	Adds a PropertyChangeListener.
static double	getFactor()	Gets the current factor.
static double	getFactor(int level)	Gets the factor corresponding to a specified level.
static int	getIntegerFactor()	Gets the current integer factor.
static int	getIntegerFactor(int level)	Gets the integer factor corresponding to a specified level.
static int	getLevel()	Gets the current font level.
static java.awt.Font	getResizedFont(java.awt.Font font, double factor)	Resizes a font by a specified factor.
static java.awt.Font	getResizedFont(java.awt.Font font, int level)	Resizes a font to a specified level.
static void	levelDown()	Decrements the font level.
static void	levelUp()	Increments the font level.
static void	removePropertyChangeListener(java.lang.String property, java.beans.PropertyChangeListener listener)	Removes a PropertyChangeListener.
static void	setFonts(java.lang.Object obj, int level)	Sets the fonts of an object to a specified level.
static void	setLevel(int n)	Sets the font level and informs all listeners.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TEXT_FONT

public static final java.awt.Font TEXT_FONT

Base font for text fields

BUTTON_FONT

public static final java.awt.Font BUTTON_FONT

Base font for buttons

ACCELERATOR_FONT

public static final java.awt.Font ACCELERATOR_FONT

Base font for menu accelerators

CHECKBOXMENUITEM_ICON

public static final ResizableIcon CHECKBOXMENUITEM_ICON

Icons for checkbox, radio button and arrow menu items

RADIOBUTTONMENUITEM_ICON

public static final ResizableIcon RADIOBUTTONMENUITEM_ICON

CHECKBOX_ICON

public static final ResizableIcon CHECKBOX_ICON

RADIOBUTTON_ICON

public static final ResizableIcon RADIOBUTTON_ICON

ARROW_ICON

public static final ResizableIcon ARROW_ICON

MAX_LEVEL

public static final int MAX_LEVEL

maximum font level

See Also:

Constant Field Values

Method Detail

setLevel

public static void setLevel(int n)

Sets the font level and informs all listeners.

Parameters:

n - a non-negative integer level

getLevel

public static int getLevel()

Gets the current font level.

Returns:

the level

levelUp

public static void levelUp()

Increments the font level.

levelDown

public static void levelDown()

Decrements the font level.

getFactor

public static double getFactor()

Gets the current factor.

Returns:

the factor

getIntegerFactor

public static int getIntegerFactor()

Gets the current integer factor.

Returns:

the integer factor

setFonts

public static void setFonts(java.lang.Object obj,
                            int level)

Sets the fonts of an object to a specified level.

Parameters:

obj - the object

level - the level

getResizedFont

public static java.awt.Font getResizedFont(java.awt.Font font,
                                           int level)

Resizes a font to a specified level.

Parameters:

font - the font

level - the level

Returns:

the resized font

getResizedFont

public static java.awt.Font getResizedFont(java.awt.Font font,
                                           double factor)

Resizes a font by a specified factor.

Parameters:

font - the font

factor - the factor

Returns:

the resized font

getFactor

public static double getFactor(int level)

Gets the factor corresponding to a specified level.

Parameters:

level - the level

Returns:

the factor

getIntegerFactor

public static int getIntegerFactor(int level)

Gets the integer factor corresponding to a specified level.

Parameters:

level - the level

Returns:

the integer factor

addPropertyChangeListener

public static void addPropertyChangeListener(java.lang.String property,
                                             java.beans.PropertyChangeListener listener)

Adds a PropertyChangeListener.

Parameters:

property - the name of the property (only "level" accepted)

listener - the object requesting property change notification

removePropertyChangeListener

public static void removePropertyChangeListener(java.lang.String property,
                                                java.beans.PropertyChangeListener listener)

Removes a PropertyChangeListener.

Parameters:

property - the name of the property (only "level" accepted)

listener - the listener requesting removal