Skip to content
View micheleg's full-sized avatar

Block or report micheleg

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. dash-to-dock dash-to-dock Public

    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.

    JavaScript 4.1k 487

  2. adwaita-dashtodock adwaita-dashtodock Public

    Default Gnome Shell Adwaita theme with dash-to-dock support

    CSS 4

  3. shell-extension-quitfromdash shell-extension-quitfromdash Public

    Forked from deuill/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.

    JavaScript 2 1

  4. workspaces-to-dock workspaces-to-dock Public

    Forked from passingthru67/workspaces-to-dock

    A gnome shell extension that transforms the workspaces into an intellihide dock

    JavaScript 2

  5. gnome-shell-extension-cpu-freq gnome-shell-extension-cpu-freq Public

    Forked from nodefourtytwo/gnome-shell-extension-cpu-freq

    Change CPU frequency from gnome shell

    JavaScript 1

  6. inkscape-guide-tools inkscape-guide-tools Public

    Forked from sambody/inkscape-guide-tools

    Inkscape extensions related to guides

    Python 1