BASIC_RENDERER, DEFAULT_RENDERER
deferred draw_line (d: DRAWABLE, x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER, state: INTEGER) |
deferred draw_rectangle (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, state: INTEGER) |
deferred draw_fill_rectangle (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, state: INTEGER) |
deferred draw_button (b: BUTTON) |
deferred draw_check_button (b: CHECK_SPACE) |
deferred draw_box (d: DRAWABLE, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, intensity: INTEGER) |
require
|
deferred draw_string (d: DRAWABLE, s: UNICODE_STRING, x: INTEGER, y: INTEGER, state: INTEGER) |
deferred font (state: INTEGER): BASIC_FONT |