18861887188818891890189118921893189418951896
{ return getNextDefaultName(); } }); final Widget widget = target.asWidget(); editors_.add(target); view_.addTab(widget, target.getIcon(), target.getName().getValue(),
23572358235923602361236223632364236523662367
else { suspendSourceNavigationAdding_ = true; try { view_.selectTab(target.asWidget()); target.restorePosition(navigation.getPosition()); } finally { suspendSourceNavigationAdding_ = false;