For actually contributing this change, I would need to detect the size change in rust and programatically change the layout.
Is there no flexbox equivalent for GTK+? If there is, the menu bar should just use that.
Buttons cannot reflow their contents onto multiple lines. When a link has long text it should be broken into multiple lines, not overflow past the screen edge. Having to scroll horizontally is always a pain, so it's best to avoid it.
Should probably be kept in the undump script, but who knows.
or just store names instead of numeric IDs??? idk.
Okay, fuck it, I guess I'll just do this in the dumper script.
append prefix here?
git grep -n -F 'query = format!'
Actually, the lookups expect an absolute path, so we can't just store relative paths and be done with it. So we should concatenate the prefix on every lookup.