resource/.DS_Store@1d9dd72fec15
resource/.DS_Store
Fri, 17 Oct 2025 20:21:07 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Fri, 17 Oct 2025 20:21:07 +0200
- changeset 857
- 1d9dd72fec15
- parent 32
- 9a5f47fbc5c3
- child 870
- e167cf006213
- permissions
- -rw-r--r--
add ui_sublist_item_set_button_menu and ui_sourcelist_args_set_header_is_item
