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, write
public MousePrefs(Main main)
public PropertyList getAllPropertyInfo()
HasProperties
getAllPropertyInfo
in interface HasProperties
getAllPropertyInfo
in class Preferences
public MouseBindings getBindings()
public void setBindings(MouseBindings bindings)
public double getWheelZoomScale()
public void setWheelZoomScale(double s)
public void setFromCurrent()
setFromCurrent
in class Preferences
public void applyToCurrent()
applyToCurrent
in class Preferences
public void setDefaults()
setDefaults
in class Preferences
public void writeItems(java.io.PrintWriter pw, NumberFormat fmt, java.lang.Object ref) throws java.io.IOException
writeItems
in class Preferences
java.io.IOException
public void valueChange(ValueChangeEvent e)
valueChange
in interface ValueChangeListener