adds KeyPress, DevInfo and Stats widgets

1 files changed, 6 insertions, 3 deletions

diff --git a/src/core/gameinterface.h b/src/core/gameinterface.h
index b6d7cb6..fea86fe 100644
--- a/src/core/gameinterface.h
+++ b/src/core/gameinterface.h
@@ -26,7 +26,7 @@ public:
 	typedef std::list<Player *> Players;
 
 /*----- inspectors ---------------------------------------------- */
-	
+
 	/// return the local player
 	inline Player *localplayer() { return &game_localplayer; }
 
@@ -52,10 +52,13 @@ public:
 /*----- virtual inspectors --------------------------------------- */
 
 	/// returns true if the game server can run a time frime
-	virtual bool running() = 0;
+	virtual bool running() const = 0;
 
 	/// returns true if the game is running an interactive module
-	virtual bool interactive() = 0;
+	virtual bool interactive() const = 0;
+
+	/// return the current game time
+	virtual float time() const = 0;
 
 /*-----  mutators ------------------------------------------------- */