a file is double clicked in the browser, an editor should be created and
should be made current by briging it to the front of the tab stack.