X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fmisc.cpp;h=1420bc88a5016b91fe3261cf2f2d2b7c0d50cc3a;hb=f961e421748434e87e0c96abe6b8bc15a2c09232;hp=ee4822971f786327f28a8e92cc8dc80ce8cac1c3;hpb=c0093d25093395cb62fc2526ab42be65a9f015b8;p=supertux.git

diff --git a/src/misc.cpp b/src/misc.cpp
index ee4822971..1420bc88a 100644
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -16,12 +16,18 @@
 //  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
 #include <config.h>
 
-#include "misc.h"
-#include "main.h"
-#include "gameconfig.h"
-#include "app/globals.h"
-#include "game_session.h"
-#include "control/joystickkeyboardcontroller.h"
+#include "misc.hpp"
+#include "main.hpp"
+#include "gameconfig.hpp"
+#include "game_session.hpp"
+#include "gui/menu.hpp"
+#include "gui/button.hpp"
+#include "audio/sound_manager.hpp"
+#include "title.hpp"
+#include "resources.hpp"
+#include "worldmap.hpp"
+#include "gettext.hpp"
+#include "control/joystickkeyboardcontroller.hpp"
 
 Menu* main_menu      = 0;
 Menu* game_menu      = 0;
@@ -74,7 +80,7 @@ void setup_menu()
   main_menu->add_submenu(_("Start Game"), load_game_menu, MNID_STARTGAME);
   main_menu->add_submenu(_("Contrib Levels"), contrib_menu, MNID_LEVELS_CONTRIB);
   main_menu->add_submenu(_("Options"), options_menu);
-  main_menu->add_entry(MNID_LEVELEDITOR, _("Level Editor"));
+  //main_menu->add_entry(MNID_LEVELEDITOR, _("Level Editor"));
   main_menu->add_entry(MNID_CREDITS, _("Credits"));
   main_menu->add_entry(MNID_QUITMAINMENU, _("Quit"));