re-selecting already highlighted document[NOTED]

If you are on a certain document, and then switch to another one either through the back and forward buttons in the header bar or by double clicking a reference, you cannot get back to the original document you came from without selecting another document then clicking back on it or selecting then deselecting it (ctrl+click). Double clicking just lets you rename the document. The binder acts as though you are still in the original document.

I know it’s meant to keep the original document highlighted when you explore the project using back/forward buttons and references, so I don’t know if these even really counts as a bug.