Searched refs:moz_gtk_get_menu_separator_height (Results 1 – 4 of 4) sorted by relevance
400 gint moz_gtk_get_menu_separator_height(gint* size);
2979 moz_gtk_get_menu_separator_height(gint *size) in moz_gtk_get_menu_separator_height() function
16698 (moz_gtk_get_menu_separator_height):76165 (moz_gtk_get_menu_separator_height):
55164 (moz_gtk_get_menu_separator_height):