World selection box in main menu (and random fixing)

2012-03-11 20:45:14 +02:00
parent bcaab74f1f
commit d1d83d7e7f
7 changed files with 291 additions and 102 deletions
--- a/minetest.conf.example
+++ b/minetest.conf.example
@@ -115,6 +115,8 @@
 # Server stuff
 #

+# Default game (default when creating a new world)
+#default_game = mesetint
 # Map directory (everything in the world is stored here)
 #map-dir = /custom/map
 # Message of the Day