Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
INSTALLATION ./test installs the extension on your computer (in /usr/share/gnome-shell/extensions/) For the extension to work: - It needs to be compatible with your version of gnome shell To know your version of gnome-shell, type "gnome-shell --version". Make sure that version is in "shell-version" in the metadata.json file - It needs to be enabled. gsettings list-recursively org.gnome.shell gsettings get org.gnome.shell disabled-extensions gsettings get org.gnome.shell enabled-extensions gsettings reset org.gnome.shell enabled-extensions gsettings set org.gnome.shell enabled-extensions "['email@example.com']" - You need to restart Gnome Shell Alt+F2, and type "r" or from a command line: gnome-shell --replace TODO - Finish implementing close, maximize and minimize in right-click menu - Make right click menu appear/disappear faster, or even without animations - Add a "show desktop" toggle button on the complete left to minimize/un_minimize all windows - Reduce the gap between boxes - Make the extension use more space (either by hiding the _centerBox or by telling _leftBox to fill the space) - Emphasize the selected window a little more (either with more contrast/brightness, with borders, or with depth) GNOME SHELL DEVELOPMENT RESOURCES http://live.gnome.org/GnomeShell/Extensions http://blog.fpmurphy.com/2011/04/gnome-3-shell-extensions.html GNOME 3.2 126.96.36.199 is an early version of 3.2... Gnome 3.2 introduces many changes.. and so almost all extensions written for previous versions of Gnome Shell are likely not to work :) main() is replaced by init(), enabled(), disabled()... and there's many other changes as well ;)