note
	description: "Cursors for current application"
	date: "$Date$"
	revision: "$Revision$"

class
	SAMPLE_EDITOR_CURSORS

inherit
	EDITOR_CURSORS

feature -- Cursors

	cur_cut_selection: EV_POINTER_STYLE
			-- Editor cut cursor icon
		local
			l_env: EXECUTION_ENVIRONMENT
			l_path: FILE_NAME
			l_buffer: EV_PIXEL_BUFFER
		do
			create l_env
			if l_env.get ("ISE_LIBRARY") /= Void then
				create l_path.make_from_string (l_env.get ("ISE_LIBRARY"))
				l_path.extend_from_array (<< "examples", "obsolete", "editor", "bitmaps" >>)
				l_path.set_file_name ("cut_selection")
				l_path.add_extension ("png")
				create l_buffer
				l_buffer.set_with_named_file (l_path)
				create Result.make_with_pixel_buffer (l_buffer, 1, 1)
			else
				create Result
			end
		end

	cur_copy_selection: EV_POINTER_STYLE
			-- Editor copy cursor icon
		local
			l_env: EXECUTION_ENVIRONMENT
			l_path: FILE_NAME
			l_buffer: EV_PIXEL_BUFFER
		do
			create l_env
			if l_env.get ("ISE_LIBRARY") /= Void then
				create l_path.make_from_string (l_env.get ("ISE_LIBRARY"))
				l_path.extend_from_array (<< "examples", "obsolete", "editor", "bitmaps" >>)
				l_path.set_file_name ("copy_selection")
				l_path.add_extension ("png")
				create l_buffer
				l_buffer.set_with_named_file (l_path)
				create Result.make_with_pixel_buffer (l_buffer, 1, 1)
			else
				create Result
			end
		end

end