Lerking/gtk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change GtkMenu from using gtk_style_get() to gtk_style_get_units().

Browse Source 
gtk_style_get() returns values in pixels but with no reference to the monitor
that the widget is being displayed on. Thus it shouldn't be used when accessing
sizes.
This commit is contained in:
Davyd Madeley
2009-04-30 15:43:22 +08:00
parent b20c7555fe
commit 1b5b4812b9
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
gtk/gtkmenu.c
View File

@@ -2430,13 +2430,16 @@ gtk_menu_size_request (GtkWidget *widget,
guint toggle_spacing;
guint indicator_size;
gtk_style_get (widget->style,
/* gtk_style_get() returns sizes in pixels with no consideration for
the monitor the widget is displayed on */
gtk_style_get_unit (widget->style,
GTK_TYPE_CHECK_MENU_ITEM,
"toggle-spacing", &toggle_spacing,
"indicator-size", &indicator_size,
NULL);
max_toggle_size = indicator_size + toggle_spacing;
max_toggle_size = gtk_widget_size_to_pixel (widget, indicator_size) +
gtk_widget_size_to_pixel (widget, toggle_spacing);
}
for (i = 0; i < gtk_menu_get_n_rows (menu); i++)