I forgot to reply to comment #57, I tried xrandr --output VGA --off, and then xrandr --output VGA --mode 0x5c, but the effect is exactly the same.
I forgot to reply to comment #57, I tried xrandr --output VGA --off, and then xrandr --output VGA --mode 0x5c, but the effect is exactly the same.