Searched refs:focus_width (Results 1 – 2 of 2) sorted by relevance
801 gint focus_width, focus_pad; in moz_gtk_button_paint() local803 moz_gtk_widget_get_focus(widget, &interior_focus, &focus_width, &focus_pad); in moz_gtk_button_paint()825 x += focus_width + focus_pad; in moz_gtk_button_paint()826 y += focus_width + focus_pad; in moz_gtk_button_paint()827 width -= 2 * (focus_width + focus_pad); in moz_gtk_button_paint()828 height -= 2 * (focus_width + focus_pad); in moz_gtk_button_paint()857 x -= focus_width + focus_pad; in moz_gtk_button_paint()858 y -= focus_width + focus_pad; in moz_gtk_button_paint()859 width += 2 * (focus_width + focus_pad); in moz_gtk_button_paint()860 height += 2 * (focus_width + focus_pad); in moz_gtk_button_paint()[all …]
321 gint* focus_width, gint* focus_pad);