[gtkada] Double expose event

[manuel.op.de.coul at eon-benelux.com]

If no one else can think of a reason for the
double occurrence of expose_event in case of a
window resize, I will post a bug report for Gtk.

Manuel