590
590
// FIXME: This is seriously LAME. The Gtk# binding does not support mutating
591
591
// Gdk.Event* objects. All the properties are marked read only. Support for
592
592
// these objects is simply incomplete.
595
595
private void UpdateEventButton(Gdk.EventButton evnt, Gdk.Window window, Gdk.EventType type)