SC Tom wrote:

"Andy Burns" wrote:

I think it was a winXP setting, looks like it was killed-off somewhere
along the road to Win10 ...

Figures, right?

Well, some Win2.x settings which used to be in .ini files before the
registry existed, still have effect, even if there's no UI to alter them
(e.g. window border thicknesses)