Added switch to turn off developer mode to the OptionMenu
authorIngo Ruhnke <grumbel@gmail.com>
Tue, 19 Aug 2014 00:35:12 +0000 (02:35 +0200)
committerIngo Ruhnke <grumbel@gmail.com>
Tue, 19 Aug 2014 00:40:10 +0000 (02:40 +0200)
commit1db26006c1a6eb3adca56bc461b28f94dbd22c3e
tree59e034fe81a78f72022df57d904fde6d40fa7f26
parentcd105ddd05f7998e58ce545fc20e2b28606e1f1d
Added switch to turn off developer mode to the OptionMenu
src/supertux/menu/options_menu.cpp