I will make the change on desktop later. We r teaching a class and I want to be past that before accidentally wreaking things. Which wont' happen, but ... could happen.
I had only used Gnome 3.x for a couple of months, having dropped KDE because of a problem related to Java on that system. I am not trashing Gnome 3.X because I've determined that the way it handles RStudio is unacceptable. Again, a Java problem. I am not entirely certain of this, but I think it is a thing.
More explanation here:
Hero worship on both sides. Looking for a link explaining the good and the bad of hero worship as a strategy for social change #XR
Biological Anthropologist, science communicator (climate change, evolution, biology), educator, activist operating on the left side.
I blog here: http://gregladen.com/blog/
To support this server and the OMN project https://opencollective.com/open-media-network