private void OnDockKeyReleaseEvent(object o, KeyReleaseEventArgs args)
{
if(args.Event.Key == Gdk.Key.Escape) {
Display.KeyboardUngrab(args.Event.Time);
Display.PointerUngrab(args.Event.Time);
Gtk.Grab.Remove(dock);
dock.Hide();
timeout = false;
args.RetVal = true;
return;
}
args.RetVal = false;
}