But this means then that the game will play with the right (chosen)
resolution. The only downside is that I actually like how it looks with the
smaller resolution.
I just want to get back at the normal resolution when leaving the game.
Actually this exactly but when closing the game would be
Probably the easiest solution with games that exhibit this issue is to write
launch scripts that contain the resolution reset command at the end.
Detecting the docking station is a lot trickier. You can check dmesg and the
connect it and recheck dmesg to see what it saw. Other parts of the
I've reset the game's config file. I have no issues when I quit it now, but I
still want to be able to change the screen resolution only when this or that
program is on (and change back when I leave it).
I'll retry for SuperTux.
It seems reloading my config (thus the xrandr command) gives me back
non-mirrored display.
But the resolution is still off (too big).