changelog
update toolkit, adjust UI code
- Sun, 20 Jul 2025 22:04:39 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 20 Jul 2025 22:04:39 +0200] rev 108
- update toolkit, adjust UI code
use ui_list_update to update lists
- Sat, 05 Apr 2025 17:57:04 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sat, 05 Apr 2025 17:57:04 +0200] rev 107
- use ui_list_update to update lists
