The one and only gnome fans' page
Skip to content
New extensions for the gnome shell appears by the day. Today its a ‘musicplayers’ extension. This new gnome shell extension will add [...]
Gnome shell media player extension
June 6, 2011
Blog at WordPress.com.