Block or report user

Report or block micheleg

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. 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.

    JavaScript 1.1k 180

  2. workspaces-to-dock

    Forked from passingthru67/workspaces-to-dock

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

    JavaScript 3

  3. adwaita-dashtodock

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

    CSS 2

  4. shell-extension-quitfromdash

    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 1

  5. gnome-shell-extension-cpu-freq

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

    Change CPU frequency from gnome shell

    JavaScript 1

  6. inkscape-guide-tools

    Forked from sambody/inkscape-guide-tools

    Inkscape extensions related to guides

    Python 1

58 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2018

Seeing something unexpected? Take a look at the GitHub profile guide.