info.bioinfweb.commons.graphics

Class ZoomableFont

java.lang.Object

info.bioinfweb.commons.graphics.ZoomableFont

public class ZoomableFont
extends java.lang.Object

Bean class that allow to define a font with a zoom independent size. Property changes can be tracked using a PropertyChangeListener.

Since:

1.2.0

Author:

Ben Stöver

Constructor Summary

Constructors

Constructor and Description
ZoomableFont() Creates a new instance of this class with a height of 10 and the font style Font.PLAIN and the font name Font.SANS_SERIF.
ZoomableFont(java.lang.String name, int style, double originalHeight) Creates a new instance of this class.

Method Summary

Modifier and Type	Method and Description
void	addPropertyChangeListener(java.beans.PropertyChangeListener listener)
void	addPropertyChangeListener(java.lang.String propertyName, java.beans.PropertyChangeListener listener)
void	adjustFromFont(java.awt.Font font)
java.awt.Font	createFont(double zoom) Creates a new Font instance according to the properties if this object and the provided zoom factor.
java.lang.String	getName() Returns the font name.
double	getOriginalHeight() Returns the font size for a zoom factor of 100 %.
int	getStyle() Returns the font style.
void	removePropertyChangeListener(java.beans.PropertyChangeListener listener)
void	removePropertyChangeListener(java.lang.String propertyName, java.beans.PropertyChangeListener listener)
void	setName(java.lang.String name) Sets a new font name.
void	setOriginalHeight(double originalHeight) Sets a new font size for a zoom factor of 100 %.
void	setStyle(int style) Sets a new font style.

Methods inherited from class java.lang.Object

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

Constructor Detail

ZoomableFont

public ZoomableFont()

Creates a new instance of this class with a height of 10 and the font style Font.PLAIN and the font name Font.SANS_SERIF.

ZoomableFont

public ZoomableFont(java.lang.String name,
                    int style,
                    double originalHeight)

Creates a new instance of this class.

Parameters:

name - the font name

style - the font style

originalHeight - the font size for a zoom factor of 100 %

Method Detail

getOriginalHeight

public double getOriginalHeight()

Returns the font size for a zoom factor of 100 %.

Returns:

the original font size

See Also:

Font.getSize()

setOriginalHeight

public void setOriginalHeight(double originalHeight)

Sets a new font size for a zoom factor of 100 %.

Parameters:

originalHeight - the new font height

See Also:

Font.getSize()

getStyle

public int getStyle()

Returns the font style.

Returns:

the font style

See Also:

Font.getStyle()

setStyle

public void setStyle(int style)

Sets a new font style.

Parameters:

style - the new font style

See Also:

Font.getStyle()

getName

public java.lang.String getName()

Returns the font name.

Returns:

the font name

See Also:

Font.getName()

setName

public void setName(java.lang.String name)

Sets a new font name.

Parameters:

name - the new font name

See Also:

Font.getName()

createFont

public java.awt.Font createFont(double zoom)

Creates a new Font instance according to the properties if this object and the provided zoom factor.

Parameters:

zoom - the zoom factor to determine the font size of the returned object

Returns:

a new font object

adjustFromFont

public void adjustFromFont(java.awt.Font font)

addPropertyChangeListener

public void addPropertyChangeListener(java.beans.PropertyChangeListener listener)

addPropertyChangeListener

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

removePropertyChangeListener

public void removePropertyChangeListener(java.beans.PropertyChangeListener listener)

removePropertyChangeListener

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