shortlog
| Mon, 17 Nov 2025 14:27:48 +0100 | Olaf Wintermann | fix var creation when a widget is already bound to this var name | changeset | files |
| Mon, 17 Nov 2025 11:28:47 +0100 | Olaf Wintermann | implement grid margin (Motif) | changeset | files |
| Mon, 17 Nov 2025 14:27:48 +0100 | Olaf Wintermann | fix var creation when a widget is already bound to this var name | changeset | files |
| Mon, 17 Nov 2025 11:28:47 +0100 | Olaf Wintermann | implement grid margin (Motif) | changeset | files |