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