Source position: gtkstyle.pp line 70
procedure gtk_paint_focus(
style: PGtkStyle;
window: PGdkWindow;
area: PGdkRectangle;
widget: PGtkWidget;
detail: Pgchar;
x: gint;
y: gint;
width: gint;
height: gint
);