verify(eventBus)
.addHandler(PresenterRevealedEvent.getType(), presenter);
verify(eventBus).addHandler(RefreshProjectStatsEvent.getType(),
presenter);
WorkspaceId workspaceId =
userWorkspace.getWorkspaceContext().getWorkspaceId();
String localeId = workspaceId.getLocaleId().getId();
verify(display).setProjectLinkLabel(
workspaceId.getProjectIterationId().getProjectSlug());
verify(display).setVersionLinkLabel(
workspaceId.getProjectIterationId().getIterationSlug());
verify(display).setFilesLinkLabel("Documents (" + localeId + ")");
verify(display).setReadOnlyVisible(userWorkspace.hasReadOnlyAccess());
verify(window).setTitle("new title");
verify(keyShortcutPresenter, times(3)).register(