Post GTK4 port redesign
Initial GTK4 port issue contained both minimal redesign version and a more extensive redesign version
The first got implemented as part of initiall GTK4 port, therefore GTK4 port issue is now closed, so to keep track of the second design I'm reposting it as a separate issue.