Pinned Loading

1. gnome-shell-extension-workspace-switcher gnome-shell-extension-workspace-switcher Public

   GNOME Shell extension for viewing and changing the current workspace.

   JavaScript 47 6

2. gnome-shell-extension-netspeed-plus gnome-shell-extension-netspeed-plus Public

   Highly customisable display of network throughput and usage for the Gnome Shell panel.

   JavaScript 6 1

3. python-gtk-themed-icon-chooser python-gtk-themed-icon-chooser Public

   Python GTK+ 3 widgets allowing selection of icons from the current icon theme.

   Python 4 2

4. python-gtk-app-chooser python-gtk-app-chooser Public

   Python GTK+ 3 widgets allowing selection of installed application.

   Python 2

5. grub-theme-gdm grub-theme-gdm Public

   GRUB theme immitating the default apperance of the Gnome Display Manager user login page.

   5 1