Source position: gnomedock.inc line 46
function float_window_mapped(
var a: TGnomeDockItem
):gboolean;