rework ScreenOptionMaster metric names to not depend on language specific row title

create Mines row in ScreenPlayerOptions and move other options around
2003-11-07 07:25:52 +00:00
parent f1b019cb5e
commit 768b2e5846
12 changed files with 115 additions and 60 deletions
@@ -56,6 +56,8 @@ protected:

 	virtual void GoToNextState();
 	virtual void GoToPrevState();
+
+	virtual void RefreshIcons();
 };