This is a port of my Cinnamon applet (now included in Cinnamon 1.6+).
It displays a menu listing all open windows on all workspaces on the right-hand side of the GNOME top bar and allows quickly switching between them.
There is nothing to configure.
To install this extension you can either
- use the GNOME Extensions hub (caution: it doesn't always contain the most recent versions)
- copy it under ~/.local/share/gnome-shell/extensions/[email protected]/ in your home directory
Note: you may have to explicitly enable the extension after installation.
This extension has been tested on GNOME 3.6-3.30, 40, 41, 42, 44 and 45.
This extension is released under the GNU Public License version 2.