+ if ((args.Event.State & ModifierType.ControlMask) != 0) {
+ switch(args.Event.Key) {
+ default:
+ HideHelp();
+ break;
+ }
+ } else {
+ switch(args.Event.Key) {
+ case Gdk.Key.Control_L:
+ case Gdk.Key.Control_R:
+ helpTimer = new Timer();
+ helpTimer.Elapsed += delegate(object o2, ElapsedEventArgs e) {
+ ShowHelp();
+ };
+ helpTimer.AutoReset = false;
+ helpTimer.Interval = 1000;
+ helpTimer.Start();
+ break;
+ }
+ }