| http://www.w3.org/ns/prov#value | - by Diekan on Sat Jun 09, 2012 10:43 pm So, decided to play around a little with gnome 3 - personalize my desktop.Installed gnome-tweak-toolInstalled the extensionsThen did a little search and found some great themes.Downloaded the themes and installed them with gnome tweak tool.The problem is there is an option to change the theme, that changes the launcher and menu bars - but there are no theme o
|
