111112113114115116117118119120121
layoutPanel.setLayout(new BorderLayout()); layoutPanel.setWidgetSpacing(0); if (decorate) { if (region == TabBarPosition.TOP) { tabBar = new DecoratedTabBar(); } else { tabBar = new DecoratedBottomTabBar(); } } else { tabBar = new TabBar();
203204205206207208209210211212213
super.removeTab(index); tabs.remove(index); } }; } else { tabBar = new DecoratedTabBar() { @Override protected void insertTabWidget(Widget widget, int beforeIndex) { super.insertTabWidget(widget, beforeIndex); tabs.add(beforeIndex, widget); }