Arnaud Charlet <charlet at ACT-Europe.FR> writes: > > Is there an equivalent in Gtk? I only need it for Gtk.Button (at the > > moment). > > Of course :-) > > This is called 'sensitivity'. > See Gtk.Widget.Set_Sensitive Ah. Thanks. If I had grepped for "disabled" in the html manual, I would have found it :). -- -- Stephe