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