return null;
}
@SuppressWarnings("unused")
private void onChangeTitleWidgetEvent( @Observes ChangeTitleWidgetEvent event ) {
final PlaceRequest place = event.getPlaceRequest();
final IsWidget titleDecoration = event.getTitleDecoration();
final String title = event.getTitle();
for ( Map.Entry<PanelDefinition, WorkbenchPanelPresenter> e : mapPanelDefinitionToPresenter.entrySet() ) {
final PanelDefinition panel = e.getKey();
final WorkbenchPanelPresenter presenter = e.getValue();
for ( PartDefinition part : panel.getParts() ) {
if ( place.equals( part.getPlace() ) ) {
mapPartDefinitionToPresenter.get( part ).setTitle( title );
presenter.changeTitle( part, title, titleDecoration );
break;
}
}