search

zacbarton / gnome-shell-extension-bolt

A launcher thats a fusion of the Ubuntu dash, the Gnome-shell overview and the classic Gnome 2 menu.
23 stars 5 forks source link

Add better theming support #5

Closed zacbarton closed 12 years ago

zacbarton commented 12 years ago

Improve bolts themeing capabilities so it can look beautiful and integrate with custom gnome-shell themes