Class SelectionHistory


  • public class SelectionHistory
    extends java.lang.Object
    Records selection events.
    • Field Detail

      • HISTORY_SIZE

        public static final int HISTORY_SIZE
        Number of entries in the history list.
        See Also:
        Constant Field Values
    • Constructor Detail

      • SelectionHistory

        public SelectionHistory()
    • Method Detail

      • getSelectionEventHook

        public static SelectionListener getSelectionEventHook()
        Returns the SelectionListener of this history.
      • getTempUnitEventHook

        public static TempUnitListener getTempUnitEventHook()
        Returns the TempUnitListener of this history.
      • selectionChanged

        public static void selectionChanged​(SelectionEvent e)
        Adds active object to history if it is not from an ignored source.
        Parameters:
        e -
      • addListener

        public static void addListener​(javax.swing.event.ChangeListener l)
        Registers another listener.
      • unignoreSource

        public static void unignoreSource​(java.lang.Object source)
        Events from this source will no longer be ignored.
        See Also:
        ignoreSource(Object)
      • setMaxSize

        public static void setMaxSize​(int i)
        Sets the maximum number of events that the history holds.
      • clear

        public static void clear()
        Empties the history.
      • tempUnitDeleting

        public static void tempUnitDeleting​(TempUnitEvent e)
        Removes entries corresponding to the temp unit from the history
        Parameters:
        e -