--- a/src/settings_gui.cpp	Sat Apr 28 10:41:00 2007 +0000
+++ b/src/settings_gui.cpp	Sat Apr 28 15:06:32 2007 +0000
@@ -596,6 +596,7 @@
 	 *  Since it's also able to completely disable the scrollwheel will we display it on all platforms anyway */
 	"scrollwheel_scrolling",
 	"scrollwheel_multiplier",
+	"pause_on_newgame",
 };
 
 static const char *_patches_construction[] = {