Searched refs:separator_width (Results 1 – 1 of 1) sorted by relevance
1762 gint arrow_size, separator_width; in moz_gtk_combo_box_paint() local1808 "separator-width", &separator_width, in moz_gtk_combo_box_paint()1813 arrow_rect.x -= separator_width; in moz_gtk_combo_box_paint()1821 separator_width, arrow_rect.height); in moz_gtk_combo_box_paint()2034 gint separator_width; in moz_gtk_toolbar_separator_paint() local2049 "separator-width", &separator_width, in moz_gtk_toolbar_separator_paint()2055 if (separator_width > rect->width) in moz_gtk_toolbar_separator_paint()2056 separator_width = rect->width; in moz_gtk_toolbar_separator_paint()2061 rect->x + (rect->width - separator_width) / 2, in moz_gtk_toolbar_separator_paint()2063 separator_width, in moz_gtk_toolbar_separator_paint()[all …]