Because some video would not be played in the Mint 19.2 default version of
mpv, I have fixed that by updating to a newer version from PPA, as said here.
In the default version I was able to configure the on screen display so that it showed the older default mpv GUI
instead of the new default one
by editing a line in the file
As indicated here.
Now that would not work.
At the new version PPA page I read that
Osc config options now go into ~/.mpv/lua-settings/osc.config refer to manpage or pdf in /usr/share/doc/mpv
But that didn't work.
Looking up that pdf, it seems to me it contains the same info as here:
The OSC offers limited configuration through a config file script-opts/osc.conf placed in mpv's user dir and through the --script-opts command-line option. Options provided through the command-line will override those from the config file.
It seems to me that is not specific to the new version; it was referring already to the older versions of mpv that I used; I never followed that setting (is it
/.mpv/script-opts/osc.conf?) with the default version, but as said above
~/.config/mpv/lua-settings/osc.conf (following instructions here). None of those work with my new version though.
So, I have tried without success to make those settings in
~/.mpv/lua-settings/osc.config(as said at new version's PPA page)
~/.config/mpv/lua-settings/osc.conf(which worked with the default version)
/.mpv/script-opts/osc.conf(if I have understood correctly the phrase " script-opts/osc.conf placed in mpv's user dir").