20312032203320342035203620372038203920402041
} public void onTabClosed(TabClosedEvent event) { EditingTarget target = editors_.remove(event.getTabIndex()); target.onDismiss(); if (activeEditor_ == target) { activeEditor_.onDeactivate(); activeEditor_ = null; }