added explicit virtual destructor; added API which makes it potentially possible to have an overlay with a different size than than the 'normal' screen (e.g. if the game runs at 320x200 and a 2x scaler runs, the overlay could be made 640x400 big, if the backend supports that)

svn-id: r10326

1 files changed, 5 insertions, 1 deletions

diff --git a/common/system.h b/common/system.h
index 623d5a7e40..e59bbe4632 100644
--- a/common/system.h
+++ b/common/system.h
@@ -45,7 +45,6 @@ public:
 
 	/**
 	 * The types of events backends can generate.
-	 * @todo Add events for quit request, and screen size change.
 	 * @see Event
 	 */
 	enum EventCode {
@@ -112,6 +111,9 @@ public:
 	};
 
 
+	/** Virtual destructor */
+	virtual ~OSystem() {}
+
 
 	/** @name Graphics */
 	//@{
@@ -335,6 +337,8 @@ public:
 	virtual void clear_overlay() = 0;
 	virtual void grab_overlay(NewGuiColor *buf, int pitch) = 0;
 	virtual void copy_rect_overlay(const NewGuiColor *buf, int pitch, int x, int y, int w, int h) = 0;
+	virtual int16 get_overlay_height()	{ return get_height(); }
+	virtual int16 get_overlay_width()	{ return get_width(); }
 	//@}