Minecraft wiki entry for Options, associated text: Minecraft's user environment can be configured through the Options setting. A few additional options can be changed only by editing the options.txt file manually.