GtkAda/examples/doublebuffer
