Searched defs:height_lines (Results 1 – 1 of 1) sorted by relevance
267 GtkWidget* widget, double width_chars, double height_lines, in GetWidgetSizeFromCharacters()290 GtkWidget* widget, int width_chars, int height_lines, in GetWidgetSizeFromResources()