Small improvements
  - set the new tab as the current tab
  - avoid opening multiple tabs for the same document, if you open a file that is   already open in the tab widget, a new tab will not be created and the exiting one will receive the focus