Searched refs:onHistoryChanged (Results 1 – 3 of 3) sorted by relevance
37 public void onHistoryChanged(Map<String, String> arguments); in onHistoryChanged() method76 listener.onHistoryChanged(token); in processHistoryTokenString()
175 public void onHistoryChanged(Map<String, String> arguments) { in onHistoryChanged() method in CustomTabPanel
177 public void onHistoryChanged(Map<String, String> arguments) { in onHistoryChanged() method in SavedQueriesControl