Searched refs:autorefreshTimer (Results 1 – 1 of 1) sorted by relevance
43 private Timer autorefreshTimer; field in CustomTabPanel94 if (autorefreshTimer == null) in CustomTabPanel()103 autorefreshTimer.scheduleRepeating(AUTOREFRESH_INTERVAL); in CustomTabPanel()105 autorefreshTimer.cancel(); in CustomTabPanel()127 autorefreshTimer = new Timer() { in initialize()