19821983198419851986198719881989199019911992
} public void onTabClosing(final TabClosingEvent event) { EditingTarget target = editors_.get(event.getTabIndex()); if (!target.onBeforeDismiss()) event.cancel(); } @Override public void onTabClose(TabCloseEvent event)