Searched refs:addHistoryListener (Results 1 – 4 of 4) sorted by relevance
84 public static void addHistoryListener(CustomHistoryListener listener) { in addHistoryListener() method in CustomHistory
54 CustomHistory.addHistoryListener(this); in GraphingFrontend()
91 CustomHistory.addHistoryListener(this); in SavedQueriesControl()
104 CustomHistory.addHistoryListener(this); in CustomTabPanel()