class
	EV_DRAWING_AREA_PROJECTOR

General
	cluster: interface
	description: 
		"Projectors that make representations of `world' on
		EV_DRAWING_AREA."
	keywords: "figures, project, pointer, drawing, points"
	create: make_with_buffer, make

Ancestors
	EV_WIDGET_PROJECTOR*

Queries
	area: EV_DRAWABLE
	area_x: INTEGER_32
	area_y: INTEGER_32
	buffer_used: BOOLEAN
	Default_colors: EV_STOCK_COLORS
	drawable: EV_DRAWABLE
	is_projecting: BOOLEAN
	widget: EV_WIDGET
	world: EV_FIGURE_WORLD

Commands
	change_area_position (a_x, a_y: INTEGER_32)
	clear_device
	draw_figure_arc (arc: EV_FIGURE_ARC)
	draw_figure_dot (dot: EV_FIGURE_DOT)
	draw_figure_ellipse (ellipse: EV_FIGURE_ELLIPSE)
	draw_figure_equilateral (eql: EV_FIGURE_EQUILATERAL)
	draw_figure_line (line: EV_FIGURE_LINE)
	draw_figure_picture (picture: EV_FIGURE_PICTURE)
	draw_figure_pie_slice (slice: EV_FIGURE_PIE_SLICE)
	draw_figure_polygon (polygon: EV_FIGURE_POLYGON)
	draw_figure_polyline (line: EV_FIGURE_POLYLINE)
	draw_figure_rectangle (rectangle: EV_FIGURE_RECTANGLE)
	draw_figure_rounded_rectangle (f: EV_FIGURE_ROUNDED_RECTANGLE)
	draw_figure_star (star: EV_FIGURE_STAR)
	draw_figure_text (text_figure: EV_FIGURE_TEXT)
	draw_grid
	full_project
	project
	project_rectangle (u: EV_RECTANGLE)
	register_figure (a_figure: EV_FIGURE; a_routine: PROCEDURE [ANY, TUPLE [EV_FIGURE]])
	set_drawable (a_drawable: EV_DRAWABLE)
	set_world (a_world: EV_FIGURE_WORLD)
	update_rectangle (u: EV_RECTANGLE; a_x, a_y: INTEGER_32)