public class MousePrefs extends Preferences implements ValueChangeListener
| Constructor and Description |
|---|
MousePrefs(Main main) |
| Modifier and Type | Method and Description |
|---|---|
void |
applyToCurrent() |
PropertyList |
getAllPropertyInfo()
Returns a list giving static information about all properties exported by
this object.
|
MouseBindings |
getBindings() |
double |
getWheelZoomScale() |
void |
setBindings(MouseBindings bindings) |
void |
setDefaults() |
void |
setFromCurrent() |
void |
setWheelZoomScale(double s) |
void |
valueChange(ValueChangeEvent e) |
void |
writeItems(java.io.PrintWriter pw,
NumberFormat fmt,
java.lang.Object ref) |
actionPerformed, getEditingPanel, getProperty, isWritable, numScanWarnings, scan, writepublic MousePrefs(Main main)
public PropertyList getAllPropertyInfo()
HasPropertiesgetAllPropertyInfo in interface HasPropertiesgetAllPropertyInfo in class Preferencespublic MouseBindings getBindings()
public void setBindings(MouseBindings bindings)
public double getWheelZoomScale()
public void setWheelZoomScale(double s)
public void setFromCurrent()
setFromCurrent in class Preferencespublic void applyToCurrent()
applyToCurrent in class Preferencespublic void setDefaults()
setDefaults in class Preferencespublic void writeItems(java.io.PrintWriter pw,
NumberFormat fmt,
java.lang.Object ref)
throws java.io.IOException
writeItems in class Preferencesjava.io.IOExceptionpublic void valueChange(ValueChangeEvent e)
valueChange in interface ValueChangeListener