The Wayback Machine - https://web.archive.org/web/20201117101722/https://github.com/topics/gnome-shell-extension
Skip to content
#

gnome-shell-extension

Here are 291 public repositories matching this topic...

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.
  • Updated Nov 17, 2020
  • JavaScript
peter-kehl
peter-kehl commented Nov 11, 2020

Feature request - similar to #131, but possibly easier and more generic:

Could you add a new option "Show current profile", similar to the current option "Show current frequency". Then show the current profile's name in the toolbar (left of the current frequency, if enabled).

That would help the user know the current profile without a need to click at the GNOME toolbar.

Improve this page

Add a description, image, and links to the gnome-shell-extension topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the gnome-shell-extension topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.