Searched refs:ide_hover_popover_get_preferred_height (Results 1 – 1 of 1) sorted by relevance
159 ide_hover_popover_get_preferred_height (GtkWidget *widget, in ide_hover_popover_get_preferred_height() function255 widget_class->get_preferred_height = ide_hover_popover_get_preferred_height; in ide_hover_popover_class_init()