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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines