Must have GNOME Shell Extensions for Linux

HistoryManager Prefix Search is a GNOME Shell extension that enables users to use the PageDown and PageUp keys in order to move in HistoryManager.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has...

Icon Hider is a GNOME Shell extension that allows user to display or hide icons from the top GNOME panel.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with...

ignore_request_hide_titlebar is a GNOME Shell extension that will make sure the titlebar won't be hidden when the windows are maximized.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been...

Impatience is a GNOME Shell extension that allows you to make the GNOME-Shell animation a lot faster.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with...

Input-Method Status Indicator is a GNOME Shell extension that will display the status of input-methods that use IBus on the GNOME 3 panel.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it was not...

Islamic date/time functions is a GNOME Shell extension that adds Hijri date and prayer times to the date menu of the GNOME 3 desktop environment.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it...

Jenkins CI Server Indicator is a GNOME Shell extension that allows you to overview all running jobs and connections from your Jenkins CI server. It provides auto-refresh settings and real-time notifications.To install this extension you must have GNOME...

Jump Lists is a GNOME Shell extension that will add Zeitgeist-based jump lists for applications.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it was not tested with...

Labeled Spaces is a GNOME Shell extension that puts tags on workspaces, labelling them.To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it was not tested with Cinnamon.Requirements:GNOME GNOME...

Lame Extensions Manager is a GNOME Shell extension that allows users to easily and quickly enable or disable installed GNOME-Shell extensions.Lame Extensions Manager is was tested and it is compatible with GNOME Shell 3.4.To install this extension...