Show Space View options in tab bar

[emilk]

I'm also gonna investigate if we can get a button response from the tab button from egui_dock. In that case we should select a space view by clicking its tab name, and we will have no need for the "settings" button.

TODO:

• Add a background to the buttons (in case they cover the tab name)
• Remove the now unnecessary "headroom" in some views

Checklist

• I have read and agree to Contributor Guide and the Code of Conduct
• I've included a screenshot or gif (if applicable)
• I've added a line to CHANGELOG.md (if this is a big enough change to warrant it)

[Wumpf]

probably too hard atm but would be better if this would go "encoded_input_.." instead of cutting off

[emilk]

yes, too hard

[Wumpf]

less self-descriptive code

you make it sound like all code should constantly talk about itself ;D