Package org.opennms.features.vaadin.nodemaps.internal.gwt.client

Class SearchOptions

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

    • Constructor Summary

      Constructors 
      Constructor Description
      SearchOptions()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getPlaceholder()
      placeholder text in the search box
      int getPropertyAsInteger​(java.lang.String name)  
      int getSearchRefreshInterval()
      how often to live-update search results as search-typing is happening
      SearchOptions setPlaceholder​(java.lang.String placeholder)
      placeholder text in the search box
      SearchOptions setSearchRefreshInterval​(int interval)
      how often to live-update search results as search-typing is happening

      • Methods inherited from class org.discotools.gwt.leaflet.client.controls.ControlOptions

        setPosition

      • Methods inherited from class org.discotools.gwt.leaflet.client.Options

        getProperty, getPropertyAsArray, getPropertyAsBoolean, getPropertyAsDomElement, getPropertyAsDouble, getPropertyAsFloat, getPropertyAsInt, getPropertyAsString, getPropertyNames, setProperty, setProperty, setProperty, setProperty, setProperty, setProperty

      • Methods inherited from class org.discotools.gwt.leaflet.client.jsobject.JSObjectWrapper

        getJSObject, setJSObject

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • SearchOptions

        public SearchOptions()

    • Method Detail

      • getPlaceholder

        public java.lang.String getPlaceholder()
        placeholder text in the search box

      • setPlaceholder

        public SearchOptions setPlaceholder​(java.lang.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​(java.lang.String name)