private void HeaderLeaveNotify(object ob, EventArgs a) { //pointerHover = false; //header.Hide(); //Console.WriteLine("leave" + ob + "--"); doRemove = true; if (header.Children.Length == 1) { GLib.Timeout.Add(600, new GLib.TimeoutHandler(removeHeader)); } else { header.QueueDraw(); } }
private void HeaderLeaveNotify(object ob, EventArgs a) { pointerHover = false; header.QueueDraw(); }