X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fmisc.h;h=0978b1417621af1b83396dea6404273163f3cba3;hb=78724e8ddcdb94a7b691464ea9e558d0a6665aa7;hp=e0050871091be4d8c3c89f434e0b72bc2c49127c;hpb=ef57479f613b900b73eba8e8f4d026aae0de25cc;p=supertux.git

diff --git a/src/misc.h b/src/misc.h
index e00508710..0978b1417 100644
--- a/src/misc.h
+++ b/src/misc.h
@@ -14,41 +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/gettext.h"
-#include "gui/menu.h"
-#include "utils/configfile.h"
-#include "title.h"
-#include "resources.h"
-#include "worldmap.h"
-#include "gameloop.h"
-#include "object/player.h"
-
-class MyConfig : public Config
-{
-  public:
-    void customload(const lisp::Lisp& 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();
 
 /* Create and setup menus. */
-void st_menu();
-void st_menu_free();
-
-#endif //SUPERTUX_MISC_H
+void setup_menu();
+void free_menu();
 
+#endif