Michele Gaio's repositories
dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
adwaita-dashtodock
Default Gnome Shell Adwaita theme with dash-to-dock support
shell-extension-quitfromdash
Adds a quit option to Dash Pop-Over Context Menus, with support for Gnome Shell 3.10. Forked from cldx3000's version.
workspaces-to-dock
A gnome shell extension that transforms the workspaces into an intellihide dock
gnome-shell-extension-cpu-freq
Change CPU frequency from gnome shell
adapta-gtk-theme
An adaptive Gtk+ theme based on Material Design Guidelines
gnome-shell-notifications-alert
Whenever there is an unread notification (e.g. chat messages), blinks the message in the user's menu with a color chosen by the user.
inkscape-guide-tools
Inkscape extensions related to guides