I posted this in another forum. re-post here as well, a reminder for
myself if nothing else...


From the command line:

gsettings set org.gnome.desktop.wm.preferences theme 'TraditionalOk'


From about:config

widget.content.gtk-theme.override = TraditionalOk
widget.non-native.theme.enabled = false


If you choose a theme that is not 'TraditionalOk', YMMV. It's part of
the Mate themes, though, at least in Devuan Linux and FreeBSD.


--
(aka 'Bombastic Bob' in case you wondered)

'Feeling with my fingers, and thinking with my brain' - me

'your story is so touching, but it sounds just like a lie'
"Straighten up and fly right"

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)