changelog
implement grid margin (Motif)
- Mon, 17 Nov 2025 11:28:47 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Mon, 17 Nov 2025 11:28:47 +0100] rev 901
- implement grid margin (Motif)
fix tabbar resizing (Motif)
- Mon, 17 Nov 2025 08:27:03 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Mon, 17 Nov 2025 08:27:03 +0100] rev 900
- fix tabbar resizing (Motif)
