We really need to come up with a solution to change the screen resolution in a way that we take into account things like:
- The display and available resolutions
- Other "seeing" improvements that can conflict with screen resolution, such as magnification or font size.
Right now, the platform-specific machinery for dealing with screen resolution are mostly in place (GNU/Linux and Windows), but they'll probably need some love.
There's some background information in:
Since this improvement may affect to different components, use this ticket as an umbrella issue.