thanks for the proposals - I'd prefer the second one as it bends nicely into the header bar, does not obstruct anything, nor intrude on the main display and does not need a trigger or mouse hover.
So I just started tweaking and trying to contribute to 0ad, but oh my god. VSCode seems so dumb that it cannot resolve my entire project and showers errors to me. I, myself, dont know how to tackle this problem. Can someone help me with this things? Do this things happen to you? or is it just tradition?