Изменить разрешение в Waking Mars

Я приобрел и установил скромную игру «Пробуждение Марса» через Центр программного обеспечения Ubuntu, и она работает очень хорошо, за исключением некоторых проблем с изменением настроек, а именно с разрешением. Внутриигровые настройки для изменения разрешения и входа / выхода из полноэкранного режима достаточно легко находить и переключать, и когда вы это делаете, запрашивается перезапуск приложения. При перезапуске все остальные обновленные настройки отражаются , кроме для изменений разрешения. (Я пытаюсь заставить его играть в оконном режиме, который умещается на одном мониторе, но по умолчанию он работает только в оконном режиме с полным разрешением двойного монитора). Я заметил, что он записывает эти значения в ~/.local/share/WakingMars/UserSettings.ini. Когда я меняю разрешение, оно правильно записывается в этот файл настроек ... но оно никогда не отражается при перезапуске приложения.

Есть идеи, что случилось?