class interface SPLIT_WINDOW_MOUSE

feature(s) from MOUSE_HANDLER
   --  Parent window

   parent: WINDOW
      --  Associated window.


feature(s) from MOUSE_HANDLER
   --  Mouse button status

   is_down: BOOLEAN
      --  Is the button down?


   point: POINT
      --  Current position of the mouse pointer.


invariant
   valid_point: point /= Void;

end of SPLIT_WINDOW_MOUSE