X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fmisc.h;h=0978b1417621af1b83396dea6404273163f3cba3;hb=845dceca7faef5eec20976fbc482f7a7cda2b96b;hp=0fba8c7927476a651c8bd711f52bee3b7149de02;hpb=361c04772c1edc35e5c58c00489d77068560b546;p=supertux.git

diff --git a/src/misc.h b/src/misc.h
index 0fba8c792..0978b1417 100644
--- a/src/misc.h
+++ b/src/misc.h
@@ -14,42 +14,20 @@
 //  You should have received a copy of the GNU General Public License
 //  along with this program; if not, write to the Free Software
 //  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
-
 #ifndef SUPERTUX_MISC_H
 #define SUPERTUX_MISC_H
 
-#include "app/setup.h"
-#include "app/globals.h"
-#include "resources.h"
-#include "gui/menu.h"
-#include "utils/configfile.h"
-#include "player.h"
-#include "title.h"
-#include "worldmap.h"
-#include "gameloop.h"
-#include "app/gettext.h"
-
-class MyConfig : public Config
-{
-  public:
-    void customload(LispReader& reader);
-    void customsave(FILE * config);
-};
-
 enum OptionsMenuIDs {
-  MNID_OPENGL,
   MNID_FULLSCREEN,
   MNID_SOUND,
-  MNID_MUSIC,
-  MNID_SHOWFPS
-  };
-  
+  MNID_MUSIC
+};
+
 /* Handle changes made to global settings in the options menu. */
-void process_options_menu(void);
+void process_options_menu();
 
 /* Create and setup menus. */
-void st_menu(void);
-void st_menu_free();
-
-#endif //SUPERTUX_MISC_H
+void setup_menu();
+void free_menu();
 
+#endif