class SHOW_COMMAND_INFORMATION inherit WEL_COMMAND feature execute (argument: ANY) is -- Add information about Wm_move message in the -- list box. local mi: WEL_COMMAND_MESSAGE lb: WEL_SINGLE_SELECTION_LIST_BOX s: STRING do mi ?= message_information lb ?= argument check mi_not_void: mi /= Void lb_not_void: lb /= Void end if mi.from_menu or (mi.from_control and then mi.control /= lb) then s := "WM_COMMAND: id=" s.append (mi.id.out) s.append (" From control=") s.append (mi.from_control.out) lb.add_string (s) lb.select_item (lb.count - 1) end end end -- class SHOW_COMMAND_INFORMATION --|---------------------------------------------------------------- --| Windows Eiffel Library: library of reusable components for ISE Eiffel. --| Copyright (C) 1986-2001 Interactive Software Engineering Inc. --| All rights reserved. Duplication and distribution prohibited. --| May be used only with ISE Eiffel, under terms of user license. --| Contact ISE for any other use. --| --| Interactive Software Engineering Inc. --| ISE Building --| 360 Storke Road, Goleta, CA 93117 USA --| Telephone 805-685-1006, Fax 805-685-6869 --| Electronic mail --| Customer support: http://support.eiffel.com> --| For latest info see award-winning pages: http://www.eiffel.com --|----------------------------------------------------------------