Description

Multiple minor UI fixes in a single PR since each fix is few lines long. Commits are enumerated accordingly:

1. Fix tab rendering when the preview state changed.
   Pinning/bookmarking a tab unsets preview flag, but the label is not repained.
2. Fix the selected tab after closing the currently active tab.
   Noticeable when closing active tab and opening it again without selecting other tabs in between. Tab opens but does not became selected.
3. Fix tab selection when pinning currently active tab.
   Pinning currently active tab results in selecting nearby tab instead of keeping the selection on pinned tab.
4. Make current preview tab permanent on double click.
   I couldn't figure out how to quickly make preview tab permanently... Made it same as in Intellij IDEA by double clicking the tab. Additionally I'd personally prefer making tab permanent on tree node double click simultaneously with node expansion, but it may be confusing.
5. Fix preview tab font not reloading on settings change.
   Preview tab label becomes default on settings change despite being in preview state.