Searched refs:otherWidgetsPanel (Results 1 – 1 of 1) sorted by relevance
33 protected Panel otherWidgetsPanel = new HorizontalPanel(); field in CustomTabPanel53 top.add(otherWidgetsPanel); in CustomTabPanel()78 otherWidgetsPanel.add(refreshButton); in CustomTabPanel()130 return otherWidgetsPanel; in getOtherWidgetsPanel()