if (docId != null && !equal(appPresenter.getSelectedDocIdOrNull(), docId))
{
appPresenter.selectDocument(docId);
}
Log.info("[gwt-history] document id: " + docId);
<BUG>if (docId == null && token.getView() == MainView.Editor)
{
Log.warn("[gwt-history] access editor view with invalid document id. Showing document list view instead");
token.setView(MainView.Documents);
}</BUG>
if (docId != null)

if (docId != null && !equal(appPresenter.getSelectedDocIdOrNull(), docId))
{
appPresenter.selectDocument(docId);
}
Log.info("[gwt-history] document id: " + docId);
