Class SearchOptions


  • public class SearchOptions
    extends org.discotools.gwt.leaflet.client.controls.ControlOptions
    • Constructor Detail

      • SearchOptions

        public SearchOptions()
    • Method Detail

      • getPlaceholder

        public String getPlaceholder()
        placeholder text in the search box
      • setPlaceholder

        public SearchOptions setPlaceholder​(String placeholder)
        placeholder text in the search box
      • getSearchRefreshInterval

        public int getSearchRefreshInterval()
        how often to live-update search results as search-typing is happening
      • setSearchRefreshInterval

        public SearchOptions setSearchRefreshInterval​(int interval)
        how often to live-update search results as search-typing is happening
      • getPropertyAsInteger

        public int getPropertyAsInteger​(String name)