Piotr Komur's repositories
gnome-shell-extensions-mediaplayer
A mediaplayer indicator for the gnome-shell.
Language:JavaScriptGPL-2.0000
Gnomenu
GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intuitive interface. Menu fully supports user theme integration and in addition themes that carry native support can be found here http://the-panacea-projects.deviantart.com/
Language:JavaScriptGPL-3.0000