void OnMouseLeave()
        {
            if (_doc == null)
            {
                return;
            }
            var redraw_boxes = new List <position>();

            if (_doc.on_mouse_leave(redraw_boxes))
            {
                //foreach (var box in redraw_boxes)
                //    Invalidate(new Rectangle
                //    {
                //        X = box.x,
                //        Y = box.y,
                //        Width = box.width,
                //        Height = box.height,
                //    }, true);
                //Update();
            }
        }
Exemple #2
0
        void OnMouseLeave()
        {
            if (_doc == null)
            {
                return;
            }
            var redraw_boxes = new List <position>();

            if (_doc.on_mouse_leave(redraw_boxes))
            {
                foreach (var box in redraw_boxes)
                {
                    Invalidate(new Rectangle
                    {
                        X      = box.x,
                        Y      = box.y,
                        Width  = box.width,
                        Height = box.height,
                    }, true);
                }
                Update();
            }
        }