I agree. And so I would not propose that it be the default, or even that it necessarily be provided as a GUI option. However, I would still expect this to be configurable via gsettings, rather than being (apparently) hardcoded in the Unity launcher.
I agree. And so I would not propose that it be the default, or even that it necessarily be provided as a GUI option. However, I would still expect this to be configurable via gsettings, rather than being (apparently) hardcoded in the Unity launcher.