That’s rather a pity, but I have far too many other things to sort, and I can’t fix this.
Update:
I removed /etc/X11/xorg.conf (of course I backed it up before that) and did an “rcxdm restart”; that’s presumably using /etc/X11/xorg.conf.d/, and that resulted in the old rather fair resolution values, that I had gotten used to – taking it for granted, that the simple old VGA connection would make a better resolution impossible.
Leave a Reply