@Override public MagnoliaTabSheetState getState() { return (MagnoliaTabSheetState) super.getState(); }
@Override public VNavigationBar getWidget() { return (VNavigationBar) super.getWidget(); }
@Override protected void init() { super.init(); getLayoutManager().addElementResizeListener(getWidget().getElement(), listener); }
@Override public void onStateChanged(StateChangeEvent stateChangeEvent) { super.onStateChanged(stateChangeEvent); updateWidgets(); }
@Override public void onUnregister() { super.onUnregister(); scrollHandler.removeHandler(); }
@Override protected void init() { super.init(); listenedElements[0] = getWidget().getElement(); listenedElements[1] = (Element) listenedElements[0] .getFirstChildElement().getNextSiblingElement(); listenedElements[2] = (Element) listenedElements[1] .getNextSiblingElement(); for (Element element : listenedElements) { getLayoutManager() .addElementResizeListener(element, resizeListener); } }
@Override public void onStateChanged(StateChangeEvent stateChangeEvent) { super.onStateChanged(stateChangeEvent); // Schedule to be the last thing to do in update batch as children // are not necessary update and there might not be enough stuff to // scroll at this point. Scheduler.get().scheduleFinally(new ScheduledCommand() { @Override public void execute() { getWidget().setScrollTop(getState().scrollPosition); } }); }
@Override public void onUnregister() { super.onUnregister(); for (Element element : listenedElements) { getLayoutManager().removeElementResizeListener(element, resizeListener); } } }
@Override public NavigationBarState getState() { return (NavigationBarState) super.getState(); }
@Override protected void init() { super.init();
@Override public VNavigationView getWidget() { return (VNavigationView) super.getWidget(); }
@Override public void onStateChanged(StateChangeEvent stateChangeEvent) { super.onStateChanged(stateChangeEvent); getWidget().setCaption(getState().caption); if (getState().getLeftComponent() != null) { Widget leftWidget = ((ComponentConnector) getState() .getLeftComponent()).getWidget(); getWidget().setLeftWidget(leftWidget); } if (getState().getRightComponent() != null) { Widget rightWidget = ((ComponentConnector) getState() .getRightComponent()).getWidget(); getWidget().setRightWidget(rightWidget); } }
@Override public void onUnregister() { super.onUnregister(); getLayoutManager().removeElementResizeListener( getWidget().getElement(), listener); }
@Override public NavigationViewState getState() { return (NavigationViewState) super.getState(); }
@Override public VTabBar getWidget() { return (VTabBar) super.getWidget(); }
@Override public NavigationManagerSharedState getState() { return (NavigationManagerSharedState) super.getState(); }
@Override public VNavigationManager getWidget() { return (VNavigationManager) super.getWidget(); }