--- a/ui/gtk/menu.c Thu Dec 10 13:43:25 2020 +0100 +++ b/ui/gtk/menu.c Fri Dec 11 11:46:19 2020 +0100 @@ -265,7 +265,7 @@ gtk_menu_shell_append(GTK_MENU_SHELL(parent), widget); if(i->groups) { - uic_add_group_widget(obj->ctx, widget, i->groups); + uic_add_group_widget(obj->ctx, widget, (ui_enablefunc)ui_set_enabled, i->groups); } } @@ -301,7 +301,7 @@ gtk_menu_shell_append(GTK_MENU_SHELL(parent), widget); if(i->groups) { - uic_add_group_widget(obj->ctx, widget, i->groups); + uic_add_group_widget(obj->ctx, widget, (ui_enablefunc)ui_set_enabled, i->groups); } } @@ -554,7 +554,7 @@ gtk_menu_shell_append(GTK_MENU_SHELL(ct->menu), widget); if(groups) { - uic_add_group_widget(obj->ctx, widget, groups); + uic_add_group_widget(obj->ctx, widget, (ui_enablefunc)ui_set_enabled, groups); } } @@ -604,6 +604,6 @@ gtk_menu_shell_append(GTK_MENU_SHELL(ct->menu), widget); if(groups) { - uic_add_group_widget(obj->ctx, widget, groups); + uic_add_group_widget(obj->ctx, widget, (ui_enablefunc)ui_set_enabled, groups); } }