Extension of the cross-plaform GtkAda (Ada 95 GTK bindings) GUI toolkit for binding together properties of objects, that is synchronizing several properties so that when a property changes, properties bound with it automatically change accordingly. S......