src/video/dedicated_v.h
branchNewGRF_ports
changeset 6872 1c4a4a609f85
parent 6720 35756db7e577
child 10724 68a692eacf22
equal deleted inserted replaced
6871:5a9dc001e1ad 6872:1c4a4a609f85
    15 
    15 
    16 	/* virtual */ void MainLoop();
    16 	/* virtual */ void MainLoop();
    17 
    17 
    18 	/* virtual */ bool ChangeResolution(int w, int h);
    18 	/* virtual */ bool ChangeResolution(int w, int h);
    19 
    19 
    20 	/* virtual */ void ToggleFullscreen(bool fullscreen);
    20 	/* virtual */ bool ToggleFullscreen(bool fullscreen);
    21 };
    21 };
    22 
    22 
    23 class FVideoDriver_Dedicated: public VideoDriverFactory<FVideoDriver_Dedicated> {
    23 class FVideoDriver_Dedicated: public VideoDriverFactory<FVideoDriver_Dedicated> {
    24 public:
    24 public:
       
    25 #ifdef DEDICATED
       
    26 	/* Automatically select this dedicated driver when making a dedicated
       
    27 	 * server build. */
       
    28 	static const int priority = 10;
       
    29 #else
    25 	static const int priority = 0;
    30 	static const int priority = 0;
       
    31 #endif
    26 	/* virtual */ const char *GetName() { return "dedicated"; }
    32 	/* virtual */ const char *GetName() { return "dedicated"; }
    27 	/* virtual */ const char *GetDescription() { return "Dedicated Video Driver"; }
    33 	/* virtual */ const char *GetDescription() { return "Dedicated Video Driver"; }
    28 	/* virtual */ Driver *CreateInstance() { return new VideoDriver_Dedicated(); }
    34 	/* virtual */ Driver *CreateInstance() { return new VideoDriver_Dedicated(); }
    29 };
    35 };
    30 
    36