public interface DoublePreferenceProperty extends PreferenceProperty, Property<java.lang.Double>
PROPERTY_VALUE
readFrom, storeTo
getValue, setValue
addValueChangeListener, addValueChangeListenerWeakly, removeValueChangeListener, removeValueChangeListenerWeakly