Toggling dithering on or off without a restart (closing the game directly from the recents list) may cause a crash on certain devices when closing options; this PR adds a restart dialog when toggling the option.
Pressing "ok" will restart the game, while pressing/swiping back will not restart the game, nor will it crash when closing options (tested this on my phone, which prior to this addition/fix, the crash was easily reproduced), as the change will apply at restart. Toggling back the option to its initial value (let's say, on -> off -> on) won't display the dialog.
While I'm at it, I changed the dithering option's description to be... more descriptive.
Toggling dithering on or off without a restart (closing the game directly from the recents list) may cause a crash on certain devices when closing options; this PR adds a restart dialog when toggling the option.
Pressing "ok" will restart the game, while pressing/swiping back will not restart the game, nor will it crash when closing options (tested this on my phone, which prior to this addition/fix, the crash was easily reproduced), as the change will apply at restart. Toggling back the option to its initial value (let's say, on -> off -> on) won't display the dialog.
While I'm at it, I changed the dithering option's description to be... more descriptive.