The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.

user interface/desktops

Jump to letter: [ 3ABCDEFGHIJKLMNOPQRSTUVWXZ ]

gnome-shell-extension-no-hot-corner - Disable the hot corner in GNOME Shell

Website: http://wiki.gnome.org/Projects/GnomeShell/Extensions
License: GPLv2+
Vendor: Scientific Linux
Description:
This GNOME Shell extension disables the hot corner in the top bar.

Packages

gnome-shell-extension-no-hot-corner-3.28.1-11.el7.noarch [18 KiB] Changelog by Jonas Ådahl (2019-12-06): 
- A couple of fixes to the classic backports
  Resolves: #1778270

Listing created by Repoview-0.6.6-4.el7

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.