On Thu, 2011-09-01 at 14:34 -0700, Joe Zeff wrote:
On 09/01/2011 02:18 PM, Matthew Saltzman wrote:
> gnome-shell-extension-righthotcorner-1.0-1.fc15.noarch
>
Why do you have to install an extension to make such a small change?
Shouldn't this be configurable?
Think of it as a different configuration mechanism.
--
Matthew Saltzman
Clemson University Mathematical Sciences
mjs AT clemson DOT edu