user interface/desktops

gnome-shell-extension-places-menu - Places status menu for GNOME Shell

Website: http://wiki.gnome.org/Projects/GnomeShell/Extensions
License: GPLv2+
Vendor: Scientific Linux
Description:
This GNOME Shell extension add a system status menu for quickly navigating
places in the system.

Packages

gnome-shell-extension-places-menu-3.28.1-12.el7_8.noarch [22 KiB] Changelog by Florian Müllner (2020-07-20):
- Fix workspace switch in window-list outside GNOME Classic
  Resolves: #1858717

Listing created by Repoview-0.6.6-4.el7