Since this has some movement, what does the new window do when it needs to wrap its tabs (e.g. if localization makes those names longer)?

Since this has some movement, what does the new window do when it needs to wrap its tabs (e.g. if localization makes those names longer)?

Fixed, the tabs should look like this now (note the arrows):

I'd be grateful if you could review the entire PR, Frank is quite busy recently.

It's a lot but I'll try to take a look.

Independent of the review, it might be good if you could sort of fuzz for analogous formatting problems. That question was based on a pure guess on my part; there could be other things.

Actually, it was a direct hit. I did consider the other stuff, but couldn't see any way to wrap tab labels, so I just left them concise. Found the solution now by re-reading the documentation for Gtk::Notebook

There are also item labels which I intentionally unabbreviated, none of them seems to span more than a monitor width (even with very generous margins). Tooltips can be very long, but I removed all newlines from them, and GTK wraps them automatically:

Btw, this one is big indeed, but you can pick any of my recent PRs (the latest six are all unreviewed) if you have some time for that. Thanks!

Been looking at this a bit more. I added a branch called "modules-5682, which is:

1. The modules branch
2. With this branch ported on top
3. and problems.c renamed to problems.cpp and ported to minimal c++

Once the modules code is committed, this will make it easier for you to factor out a bunch of the C->C++->C bridging code, which I think would be an overall win.

I don't know if there's any MID stuff in here, but why don't you merge this first and I'll figure out in #5763 after.