resource/.DS_Store@9452eccfc0f0
resource/.DS_Store
Sat, 13 Sep 2025 19:52:18 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sat, 13 Sep 2025 19:52:18 +0200
- changeset 762
- 9452eccfc0f0
- parent 32
- 9a5f47fbc5c3
- child 870
- e167cf006213
- permissions
- -rw-r--r--
improve ui_set_property
