@lizard While I’m thinking about it, it would be great if the option to hide the tabs was not tied to the project/context list’s visibility – there’s a bit of “clutter” in my projects/contexts that can be distracting, but the list of tabs on the side of the window is not bothersome.