class SHARED_PREDEF_COMS

feature

	command_cmd: COMMAND_CMD is
		once
			!! Result.make
		end

	open_cmd: OPEN_CMD is
		once
			!! Result.make
		end

	popdown_cmd: POPDOWN_CMD is
		once
			!! Result.make
		end

	popup_cmd: POPUP_CMD is
		once
			!! Result.make
		end

	save_cmd: SAVE_CMD is
		once
			!! Result.make
		end

	new_cmd: NEW_CMD is
		once
			!! Result.make
		end

	undoable_cmd: UNDOABLE_CMD is
		once
			!! Result.make
		end

	open_window_cmd: OPEN_WINDOW_CMD is
		once
			!! Result.make
		end

	close_window_cmd: CLOSE_WINDOW_CMD is
		once
			!! Result.make
		end

	minimize_window_cmd: MINIMIZE_WINDOW_CMD is
		once
			!! Result.make
		end

	maximize_window_cmd: MAXIMIZE_WINDOW_CMD is
		once
			!! Result.make
		end

	restore_window_cmd: RESTORE_WINDOW_CMD is
		once
			!! Result.make
		end

	reset_to_empty_cmd: RESET_TO_EMPTY_CMD is
		once
			!! Result.make
		end

--	reset_to_zero_cmd: RESET_TO_ZERO_CMD is
--		once
--			!! Result.make
--		end

	clear_cmd: CLEAR_CMD is
		once
			!! Result.make
		end

end