class interface DRAW_3D_CONTROLS feature(s) from DRAW_3D_CONTROLS frame_down (device: GRAPHIC_DEVICE; rect: RECTANGLE) -- Draw punched frame. require device_ok: device /= Void; device_ready: device.is_ready; rect_ok: rect /= Void draw_button (device: GRAPHIC_DEVICE; rect: RECTANGLE; is_down: BOOLEAN) -- Draw button shell. require device_ok: device /= Void; device_ready: device.is_ready; rect_ok: rect /= Void end of DRAW_3D_CONTROLS