-remember/restore focus when switching tabs
-if a tab has a border, display if when titles are disabled, and don't display it when they are enabled
Add config setting
Don't change border when the tab uses the buttons style
Merge pull request #4005 from Kingcom/Debugger

More debug UI tweaks