changelog
fix var creation when a widget is already bound to this var name
- Mon, 17 Nov 2025 14:27:48 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Mon, 17 Nov 2025 14:27:48 +0100] rev 902
- fix var creation when a widget is already bound to this var name
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)
