indexing description: "Widget motion notify event." author: "" date: "$Date$" revision: "$Revision$" class MOTION_NOTIFY_EV inherit EVENT creation make feature -- Access identifier: INTEGER is do Result := - Event_const.motion_notify_ev_id end symbol: EV_PIXMAP is do Result := Pixmaps.motion_notify_pixmap end internal_name: STRING is do Result := Event_const.motion_notify_label end eiffel_text: STRING is "add_motion_notify_command (" end -- class MOTION_NOTIFY_EV