gtk2drawing.c | 766 gint focus_width, focus_pad; local 768 moz_gtk_widget_get_focus(widget, &interior_focus, &focus_width, &focus_pad); 790 x += focus_width + focus_pad; 791 y += focus_width + focus_pad; 792 width -= 2 * (focus_width + focus_pad); 793 height -= 2 * (focus_width + focus_pad); 817 x += widget->style->xthickness + focus_pad; 818 y += widget->style->ythickness + focus_pad; 819 width -= 2 * (widget->style->xthickness + focus_pad); 820 height -= 2 * (widget->style->ythickness + focus_pad); 1022 gint focus_width, focus_pad; local 1886 gint focus_width, focus_pad; local 2591 gint focus_width, focus_pad; local 2631 gint focus_width, focus_pad; local 2667 gint focus_width, focus_pad, separator_width; local 2738 gint focus_width, focus_pad; local 2765 gint focus_width, focus_pad; local [all...] |