From 5a9e9c5af59144c9ac54c992ea31e2ac3a827019 Mon Sep 17 00:00:00 2001 From: paul Date: Wed, 23 Feb 2022 15:46:57 +0000 Subject: [PATCH] make colour label checkboxes look like radio buttons --- src/summaryview.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/summaryview.c b/src/summaryview.c index fdc1d533d..9c298c2a2 100644 --- a/src/summaryview.c +++ b/src/summaryview.c @@ -6224,6 +6224,8 @@ static void summary_colorlabel_menu_item_activate_item_cb(GtkMenuItem *menu_item if (GTK_IS_CHECK_MENU_ITEM(cur->data)) { gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM(cur->data), FALSE); + gtk_check_menu_item_set_draw_as_radio(GTK_CHECK_MENU_ITEM(cur->data), + TRUE); items[n] = GTK_CHECK_MENU_ITEM(cur->data); n++; } -- 2.11.4.GIT