Searched refs:pager_plugin_get_preferred_height (Results 1 – 1 of 1) sorted by relevance
80 static void pager_plugin_get_preferred_height (GtkWidget *widget,153 widget_class->get_preferred_height = pager_plugin_get_preferred_height; in XFCE_PANEL_DEFINE_PLUGIN_RESIDENT()791 pager_plugin_get_preferred_height (GtkWidget *widget, in pager_plugin_get_preferred_height() function839 pager_plugin_get_preferred_height (widget, minimum_height, natural_height); in pager_plugin_get_preferred_height_for_width()