void HandleButtonPressEvent(object o, Gtk.ButtonPressEventArgs args) { int px, py; Gdk.ModifierType mask; GdkWindow.GetPointer (out px, out py, out mask); int index = FindValueIndex ((int)py); if (index != -1) ValueIndex = index; }