[gtkada] gdk.event.get_is_hint()

[Markus]

Hello!
I havn't succeded to get any effect from setting Pointer_Motion_Hint_Mask
when using gtkada. All other masks I use take effetc. However, you should be
able to detect the hint with gdk.event.get_is_hint(). The thing is, it
always return false when I use it. Is that function not fully implemented or
something because the only comment you can find about it in the source code
of gdk-event.ads is "???" ?

Anyone having an idea?


Cheers
Markus - An absolute newbe to gtkada