According to comment in 3230: "alt-tab is caught by the window manager and it doesnt know that we switched the resolution. :/ "
Which would make it tricky for us to solve. We probably should fix this in the window managers.
According to comment in 3230:
"alt-tab is caught by the window manager and it doesnt know that we switched
the resolution. :/ "
Which would make it tricky for us to solve. We probably should fix this in the window managers.