reactive-banana GTK+ user interface