Five must have Gnome shell extensions for Fedora 15
Jun 01, 2011, 08:08 (0 Talkback[s])
WEBINAR: On-demand webcast
How to Boost Database Development Productivity on Linux, Docker, and Kubernetes with Microsoft SQL Server 2017 REGISTER >
[ Thanks to An
Anonymous Reader for this link. ]
"3) Places menu: This extension adds a nice new menu to the
right hand system indicator area at the top panel. The menu contain
your home and favourite locations including the locations of
devices connected. This is a very nice and useful feature.
"The only concern here is the menu does not contain icons from
the default symbolic icon set. So, this makes this menu feels like
out of place in the otherwise beautiful gnome top panel. Hopefully
this will get solved in the future versions."