Il giorno mar, 22/01/2013 alle 06.26 -0500, Sam Varshavchik ha scritto:
That would be a logical guess, except that I'm unable to find anything in Gnome's setup that actually does that.
Yes, I understood what you meant to ask, I wanted to repeat it so that it was clear. This is a setting that should be changed through a dedicated control panel, and not only via the command line, like so many other GUI settings.