abstract classProperty[T] extends Trigger with Publisher
Represents part of the state of some GUI element (e.g. the zoom level of
a visualization). Meant to help assist with preservation of UI settings
and appearance across application runs.
Setting a Property's value will cause the onPropertyChanged method to be
called, which by default calls the apply method of the installed
scala.swing.Action. The default Action, however, is
scala.swing.Action.NoAction, which of course does nothing. Either
install an appropriate Action or override onPropertyChanged if you want
to trigger some behavior when the value of the Property is changed.
Each property can produce an XML tag suitable for saving into a properties
file, and can later parse that tag to restore the previous state.
A String name for the type this Property represents.
A String name for the type this Property represents. Used in a runtime
check to safeguard against using the restore method from a different
Property subclass on the XML generated by this Property.
Represents part of the state of some GUI element (e.g. the zoom level of a visualization). Meant to help assist with preservation of UI settings and appearance across application runs.
Setting a Property's value will cause the onPropertyChanged method to be called, which by default calls the apply method of the installed scala.swing.Action. The default Action, however, is scala.swing.Action.NoAction, which of course does nothing. Either install an appropriate Action or override onPropertyChanged if you want to trigger some behavior when the value of the Property is changed.
Each property can produce an XML tag suitable for saving into a properties file, and can later parse that tag to restore the previous state.