activities-icons A Gnome Shell extension that replaces the Activities button with 2 icons for selecting between Applications and Workspaces. This fork implements minor changes in icon sizes.