Skip to content
View micheleg's full-sized avatar
Block or Report

Block or report micheleg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories

  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 3.8k 465

  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 1

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

    Forked from sambody/inkscape-guide-tools

    Inkscape extensions related to guides

    Python 1