| http://www.w3.org/ns/prov#value | - From here you can control the font, theme, window button placement and some other things you can not tweak in the vanilla Gnome Shell interface (without having to go into gconf-editor).Step 3: Installing extensions from the Gnome websiteNow let's get some extensions working.
|
