minetest/minetest — pull request #847 by BlockMen (2013-07-31 11:11:30+00:00)
Title: Categorize and rework settings menu

Current settings menu became unclear, so categorizing could help
Old:
![settings_now](https://f.cloud.github.com/assets/3742497/885535/a50aa41a-f9d1-11e2-8878-e4fc8fc333fe.png)
New:
![settings_new](https://f.cloud.github.com/assets/3742497/885537/ae0aa4a2-f9d1-11e2-9711-0389c4a81a32.png)