keyShortcutPresenter.bind();
documentListPresenter.bind();
translationPresenter.bind();
searchResultsPresenter.bind();
notificationPresenter.bind();
<BUG>notificationPresenter.setErrorLabelListener(this);
</BUG>
registerHandler(eventBus.addHandler(WorkspaceContextUpdateEvent.getType(), new WorkspaceContextUpdateEventHandler()
{
@Override

keyShortcutPresenter.bind();
documentListPresenter.bind();
translationPresenter.bind();
searchResultsPresenter.bind();
notificationPresenter.bind();
notificationPresenter.setNotificationListener(this);
registerHandler(eventBus.addHandler(WorkspaceContextUpdateEvent.getType(), new WorkspaceContextUpdateEventHandler()
{
@Override
