class interface DEFAULT_RENDERER
creation
default_create
-- Default creation method. It is used when no creation
-- method is specified if allowed. Note it may be renamed.
feature(s) from RENDERER
draw_line (d: DRAWABLE; x1, y1, x2, y2, state: INTEGER)
draw_rectangle (d: DRAWABLE; x, y, width, height, state: INTEGER)
draw_fill_rectangle (d: DRAWABLE; x, y, width, height, state: INTEGER)
draw_button (b: BUTTON)
draw_check_button (b: CHECK_SPACE)
draw_box (d: DRAWABLE; x, y, width, height: INTEGER; intensity: INTEGER)
require
intensity.in_range(0,16)
draw_string (d: DRAWABLE; s: UNICODE_STRING; x, y, state: INTEGER)
font (state: INTEGER): BASIC_FONT
feature(s) from DEFAULT_RENDERER
draw_check (d: DRAWABLE; x, y, width, height: INTEGER; active: BOOLEAN)
color_gradient: FAST_ARRAY[COLOR]
-- 17 levels from black(0) to white(16)
end of DEFAULT_RENDERER