Sorry I was referring to the Favorites. I read the subject line. I agree that it would be a duplicate but extensions are more add-ons for people to have choice. In any case if the Gnome developers don't like it... there's no reason a third party (like the fedora team) couldn't write one. [?] The code for the dock and places is there... just need to merge the ideas into one.
I think then Denys should go hop on the Fedora list and ask there.
<<330.gif>>
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
