resource/.DS_Store@814d374fb689
resource/.DS_Store
Sun, 05 Oct 2025 13:30:19 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 05 Oct 2025 13:30:19 +0200
- changeset 800
- 814d374fb689
- parent 32
- 9a5f47fbc5c3
- child 870
- e167cf006213
- permissions
- -rw-r--r--
add new margin widget args and implement margin in the cocoa gridlayout
