Source position: gtkhandlebox.inc line 70
function float_window_mapped(
var a: TGtkHandleBox
):guint;