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

-- 
users mailing list
users@lists.fedoraproject.org
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines

Reply via email to