void NotifyKeyPressed (Gdk.EventKey ev) { if (KeyPressed != null) KeyPressed (this, new KeyPressArgs () { Key = ev.Key, KeyValue = ev.KeyValue, Modifiers = ev.State }); }