[gtkada] gdk.event.get_is_hint()

Manuel Op de Coul manuel.op.de.coul at eon-benelux.com
Fri Oct 15 18:02:01 CEST 2004

Previous message: [gtkada] GtkImage and mouse events?
Next message: [gtkada] gdk.event.get_is_hint()
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I don't know what Get_Is_Hint does, and it's probably
window manager specific.
What are you trying to achieve?

Manuel

Previous message: [gtkada] GtkImage and mouse events?
Next message: [gtkada] gdk.event.get_is_hint()
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the gtkada mailing list