note
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	SAMPLE_EDITOR_ICONS

inherit
	EDITOR_ICONS

feature -- Cursor

	header_left_scroll_pixmap: EV_PIXMAP
		do
			create Result
		end

	header_right_scroll_pixmap: EV_PIXMAP
		do
			create Result
		end

	header_close_current_document_pixmap: EV_PIXMAP
		do
			create Result
		end

end