class PREDEF_CMD_IDENTIFIERS
	
feature {NONE}

	command_cmd_id: INTEGER is 1
	open_cmd_id: INTEGER is 2
	popdown_cmd_id: INTEGER is 3
	popup_cmd_id: INTEGER is 4
	save_cmd_id: INTEGER is 5
	new_cmd_id: INTEGER is 6
	undoable_cmd_id: INTEGER is 7
	open_window_cmd_id: INTEGER is 8
	close_window_cmd_id: INTEGER is 9
	minimize_window_cmd_id: INTEGER is 10
	maximize_window_cmd_id: INTEGER is 11
	restore_window_cmd_id: INTEGER is 12
	reset_to_empty_cmd_id: INTEGER is 13
	reset_to_zero_cmd_id: INTEGER is 14
	clear_cmd_id: INTEGER is 15

end