Effectivement, en lecture seule les deux lignes supplémentaires sont conservées.
Mais comme je ne vois pas vraiment d'effet sur les FPS, comment être sûr que les deux paramètres sont vraiment pris en compte par le jeu. Notch a-t-il prévu l'ajout de paramètres personnalisées dans ce fichier options.txt ?