Search results for "extension"

-themes extension in Gnome-Tweak-Tool to change Shell theme.

This is a .sh excutable file to install Gnome 3.8 on your DE (Desktop Environment) simply download the zip file and extract it and right click on the .sh file and go to properties and click allow executing as a program and then open up a terminal and type this cd (path to where you...

Fuller Dock in Elementary OS - adding some spice =) I often thought about having simple but not that simplistic dock in Elementary and well... I use themes from https://github.com/kennyh0727/plank-themes (kennyh0727), changed a bit Don't be shy, give it a try, hesitation isn't good for...