protected override void OnCursorChanged () { if (current_timeout < 0) { current_timeout = (int)GLib.Timeout.Add (200, OnCursorChangedTimeout); } }