Example #1
0
 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();
     }
 }
Example #2
0
 private void HeaderLeaveNotify(object ob, EventArgs a)
 {
     pointerHover = false;
     header.QueueDraw();
 }