nice-to-have maybe a more user-friendly quick n dirty way to toggle settings like "video scale" from game menu itself

[davidjoffe]

LOW priority (there are just some questions to think about like if this would override "-scale" command line option or other way around and so on)