- fixed switching between editors
- selection from file list selects correct tab
- minor tweaks
- cosmetic improvements