4 

     4 

     5 #ifndef VIDEO_VIDEO_DRIVER_HPP

     5 #ifndef VIDEO_VIDEO_DRIVER_HPP

     6 #define VIDEO_VIDEO_DRIVER_HPP

     6 #define VIDEO_VIDEO_DRIVER_HPP

     7 

     7 

     8 #include "../driver.h"

     8 #include "../driver.h"

     9 

    10 

    10 class VideoDriver: public Driver {

    11 class VideoDriver: public Driver {

    11 public:

    12 public:

    12 	virtual void MakeDirty(int left, int top, int width, int height) = 0;

    13 	virtual void MakeDirty(int left, int top, int width, int height) = 0;

    13 

    14 

    33 };

    34 };

    34 

    35 

    35 extern VideoDriver *_video_driver;

    36 extern VideoDriver *_video_driver;

    36 extern char _ini_videodriver[32];

    37 extern char _ini_videodriver[32];

    37 extern int _num_resolutions;

    38 extern int _num_resolutions;

    40 

    41 

    41 #endif /* VIDEO_VIDEO_DRIVER_HPP */

    42 #endif /* VIDEO_VIDEO_DRIVER_HPP */