player: do not let pseudo-gui override user config settings
Seems like this confused users quite often. Instead of --profile=pseudo-gui, --player-operation-mode=pseudo-gui now has to be used to invoke pseudo GUI mode. The old way still works, and still behaves in the old way.
W
wm4 committed
9eef41dec15580623cfa62909221fbc1fbf41706
Parent: f0fd663