On Monday March 15 2021 14:52:44 J Leslie Turriff wrote: > Darn! Yet another place where desktop settings can be hidden. :-(
Erm, no. These are not user settings, and they're in fact not settings at all. Normally they're changed only by the application developer(s); this is also why they're often embedded nowadays. R.
