Sun, 07 Jun 2026 13:11:59 +0200
merge
--- a/ui/cocoa/list.m Sun Jun 07 13:11:09 2026 +0200 +++ b/ui/cocoa/list.m Sun Jun 07 13:11:59 2026 +0200 @@ -215,6 +215,7 @@ void ui_tableview_update(UiList *list, int i) { NSTableView *tableview = (__bridge NSTableView*)list->obj; if(i < 0) { + [tableview deselectAll: tableview]; [tableview reloadData]; } else { [tableview reloadData]; // TODO: optimize