On lundi 19 janvier 2009, David Boddie wrote:
> Call the event's ignore() method before returning.
>
> "You should call ignore() if the key press or release event is not
> handled by your widget."
Thanks!
--
Frédéric
http://www.gbiloba.org