public class PortalProperties extends Object
Constructor and Description |
---|
PortalProperties() |
Modifier and Type | Method and Description |
---|---|
static void |
addChangeListener(ActionListener l) |
static double |
getPortalScale() |
static void |
removeChangeListener(ActionListener l) |
static void |
setListeners(Vector<ActionListener> l) |
static void |
setPortalScale(double pScale) |
public static double getPortalScale()
public static void setPortalScale(double pScale)
public static void setListeners(Vector<ActionListener> l)
public static void addChangeListener(ActionListener l)
public static void removeChangeListener(ActionListener l)