diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-20 11:56:18 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-20 11:56:18 +0200 |
commit | 814fdd398507bf697f249d58b8b349f253bb0289 (patch) | |
tree | 30281314cd4f6738c020d607138e2c1ae41692c7 /platform/server | |
parent | 2662c7e3d108493372aab08b1c3b0b1c6116e61e (diff) |
Fix some more build issues after c69de2ba4
Fixes #20301.
Diffstat (limited to 'platform/server')
-rw-r--r-- | platform/server/os_server.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/platform/server/os_server.h b/platform/server/os_server.h index 8c47bfc591..07d70e5236 100644 --- a/platform/server/os_server.h +++ b/platform/server/os_server.h @@ -47,7 +47,6 @@ class OS_Server : public OS_Unix { - //Rasterizer *rasterizer; VisualServer *visual_server; VideoMode current_videomode; List<String> args; @@ -73,7 +72,7 @@ class OS_Server : public OS_Unix { protected: virtual int get_video_driver_count() const; virtual const char *get_video_driver_name(int p_driver) const; - + virtual int get_current_video_driver() const; virtual int get_audio_driver_count() const; virtual const char *get_audio_driver_name(int p_driver) const; @@ -86,8 +85,6 @@ protected: public: virtual String get_name(); - virtual int get_current_video_driver() const; - virtual void set_cursor_shape(CursorShape p_shape); virtual void set_custom_mouse_cursor(const RES &p_cursor, CursorShape p_shape, const Vector2 &p_hotspot); |