GNOME Shell extensions

[Michael Schwendt]

On Mon, 11 Apr 2011 11:29:47 -0400, Clyde wrote:

> On 04/10/2011 10:58 PM, Rahul Sundaram wrote:
> > Hi
> >
> > Feel free to play around and ask if you have any questions.  If you
> > break your login,  well that's part of the fun!  :-)
> >
> > https://admin.fedoraproject.org/updates/gnome-shell-extensions-3.0.0-4.6d56cfgit.fc15
> >
> > Rahul
> >
> 
> Nice job.  They are very useful.  My personal preference is not to have 
> the dock extension however. I find it distracting in its current 
> incarnation.

It isn't bad. Distracting? Yeah, sort of, because it is displayed on top
of windows and hides parts of them. Its behaviour is also different from
the Favorites, because it seems impossible to start an app with drag'n'drop.
But it's helpful for beginners, who come from GNOME 2 and miss a really
fast way to start favourite apps. Once you're used to pressing the Windows-key,
the dock extension isn't useful anymore.