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); 822 x -= focus_width + focus_pad; 823 y -= focus_width + focus_pad; 824 width += 2 * (focus_width + focus_pad); 825 height += 2 * (focus_width + focus_pad) 941 gint focus_x, focus_y, focus_width, focus_height; local 1022 gint focus_width, focus_pad; local 1494 gint focus_width; 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...] |