Filter worlds by selected game

2013-02-15 22:06:38 +02:00
parent 084be3599a
commit 2708482f1b
2 changed files with 19 additions and 6 deletions
--- a/src/guiMainMenu.h
+++ b/src/guiMainMenu.h
@@ -130,6 +130,8 @@ class GUIMainMenu : public GUIModalMenu
 	s32 id;
 	IMenuManager *menumgr;

+	std::vector<int> m_world_indices;
+
 	bool m_is_regenerating;
 	v2s32 m_topleft_client;
 	v2s32 m_size_client;