Class IntegerOptionUI

    • Field Detail

      • spinner

        private final javax.swing.JSpinner spinner
    • Constructor Detail

      • IntegerOptionUI

        public IntegerOptionUI​(IntegerOption option,
                               boolean editable)
        Creates a new IntegerOptionUI for the given IntegerOption.
        Parameters:
        option - The IntegerOption to make a user interface for.
        editable - boolean whether user can modify the setting