Searched refs:otherWidgetsPanel (Results 1 – 1 of 1) sorted by relevance
35 protected Panel otherWidgetsPanel = new HorizontalPanel(); field in CustomTabPanel62 top.add(otherWidgetsPanel); in CustomTabPanel()87 otherWidgetsPanel.add(refreshButton); in CustomTabPanel()109 otherWidgetsPanel.add(autorefreshCheckbox); in CustomTabPanel()168 return otherWidgetsPanel; in getOtherWidgetsPanel()