Class IntPreference

    • Constructor Detail

      • IntPreference

        public IntPreference​(java.lang.String name,
                             org.eclipse.jface.preference.IPreferenceStore store)
        Creates a new integer-valued preference with the given name and the given store.
        Parameters:
        name - the preference name (not null)
        store - the preference store (not null)
    • Method Detail

      • getValue

        public final int getValue()
        Description copied from interface: IIntPreference
        Returns the current value of this preference.
        Specified by:
        getValue in interface IIntPreference
        Returns:
        the current value of this preference
      • setValue

        public final void setValue​(int value)
        Description copied from interface: IIntPreference
        Sets the current value of this preference.

        A preference change event is reported if the current value of the preference actually changes from its previous value.

        Specified by:
        setValue in interface IIntPreference
        Parameters:
        value - the new current value of this preference
      • setDefault

        public final void setDefault​(int value)
        Sets the default value for this preference.

        Note that if the preference's current value equals the old default value for the preference, the current value changes to the new default value. No preference change events are reported by changing default values.

        Parameters:
        value - the new default value for this preference