More debug UI tweaks

A few more small tweaks for the debugger.

-now configurable if the tab titles should be shown or not. It defaults to show them and you have to manually change the ini to change that, so they can't accidently get lost. For people who prefer to use keyboard shortcuts to change the tabs
-the tabs now look better in above mode