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