public class SearchOptions
extends org.discotools.gwt.leaflet.client.controls.ControlOptions
Constructor and Description |
---|
SearchOptions() |
Modifier and Type | Method and Description |
---|---|
String |
getPlaceholder()
placeholder text in the search box
|
int |
getPropertyAsInteger(String name) |
int |
getSearchRefreshInterval()
how often to live-update search results as search-typing is happening
|
SearchOptions |
setPlaceholder(String placeholder)
placeholder text in the search box
|
SearchOptions |
setSearchRefreshInterval(int interval)
how often to live-update search results as search-typing is happening
|
getProperty, getPropertyAsArray, getPropertyAsBoolean, getPropertyAsDomElement, getPropertyAsDouble, getPropertyAsFloat, getPropertyAsInt, getPropertyAsString, getPropertyNames, setProperty, setProperty, setProperty, setProperty, setProperty, setProperty
public String getPlaceholder()
public SearchOptions setPlaceholder(String placeholder)
public int getSearchRefreshInterval()
public SearchOptions setSearchRefreshInterval(int interval)
public int getPropertyAsInteger(String name)
Copyright © 2017. All rights reserved.