Class TextWithHistory


  • public class TextWithHistory
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      TextWithHistory​(java.lang.String _config_prefix, java.lang.String _enabled_prefix, org.eclipse.swt.widgets.Text _text)  
      TextWithHistory​(java.lang.String _config_prefix, org.eclipse.swt.widgets.Text _text)  
    • Field Detail

      • disabled

        private final boolean disabled
      • config_prefix

        private final java.lang.String config_prefix
      • enabled_prefix

        private final java.lang.String enabled_prefix
      • text

        private final org.eclipse.swt.widgets.Text text
      • text_bg

        private final org.eclipse.swt.graphics.Color text_bg
      • history

        private java.util.List<java.lang.String> history
      • current_shell

        private org.eclipse.swt.widgets.Shell current_shell
      • list

        private org.eclipse.swt.widgets.List list
      • mouse_entered

        private boolean mouse_entered
      • menu_visible

        private boolean menu_visible
      • keyDownShowsHistory

        private boolean keyDownShowsHistory
    • Constructor Detail

      • TextWithHistory

        public TextWithHistory​(java.lang.String _config_prefix,
                               org.eclipse.swt.widgets.Text _text)
      • TextWithHistory

        public TextWithHistory​(java.lang.String _config_prefix,
                               java.lang.String _enabled_prefix,
                               org.eclipse.swt.widgets.Text _text)
    • Method Detail

      • setKeDownShowsHistory

        public void setKeDownShowsHistory​(boolean b)
      • handleSearch

        private void handleSearch​(java.lang.String current_text,
                                  boolean force)
      • fireSelected

        private boolean fireSelected()
      • match

        private java.util.List<java.lang.String> match​(java.lang.String str)
      • loadHistory

        private void loadHistory()
      • clearHistory

        private void clearHistory()
      • addHistory

        public void addHistory​(java.lang.String str)