FOSS/xfce4-taskmanager
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Replace image against radio menu items in the refresh rate menu

Browse Source 
The stock items right-arrow are not always available (sad truth),
therefore be smart and use a radio menu item that will always be
displayed.
This commit is contained in:
Mike Massonnet
2010-05-30 18:24:56 +02:00
parent b1424a9b07
commit 23ae93bc9e
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/process-window.c
View File

@@ -245,11 +245,14 @@ menu_refresh_rate_append_item (GtkMenu *menu, gchar *title, guint refresh_rate,
g_object_get (settings, "refresh-rate", &cur_refresh_rate, NULL); g_object_get (settings, "refresh-rate", &cur_refresh_rate, NULL);
mi = gtk_image_menu_item_new_with_label (title);
if (cur_refresh_rate == refresh_rate) if (cur_refresh_rate == refresh_rate)
{ {
GtkWidget *image = gtk_image_new_from_stock (GTK_STOCK_GO_FORWARD, GTK_ICON_SIZE_MENU); mi = gtk_radio_menu_item_new_with_label (NULL, title);
gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (mi), image); gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (mi), TRUE);
}
else
{
mi = gtk_menu_item_new_with_label (title);
} }
gtk_menu_shell_append (GTK_MENU_SHELL (menu), mi); gtk_menu_shell_append (GTK_MENU_SHELL (menu), mi);
g_object_set_data (G_OBJECT (mi), "refresh-rate", GUINT_TO_POINTER (refresh_rate)); g_object_set_data (G_OBJECT (mi), "refresh-rate", GUINT_TO_POINTER (refresh_rate));