window using the
given style.gtkPaintFocus(object, window, state.type, area = NULL, widget = NULL, detail = NULL, x, y, width, height)objectGtkStylewindowstate.typeareaNULL if the
output should not be clipped. [ allow-none ]widgetdetailxywidthheight