Linux @ CERN

CERN > IT > Linux

CentOS 7 - Updates for x86_64: user interface/desktops: gnome-shell-extension-no-hot-corner

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

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

Packages

gnome-shell-extension-no-hot-corner-3.28.1-5.el7.1.noarch [18 KiB] Changelog by Ray Strode (2019-03-15):
- Fix stuck grab bug
  Resolves: #1697555
gnome-shell-extension-no-hot-corner-3.28.1-5.el7.noarch [18 KiB] Changelog by Ray Strode (2018-09-04):
- Get rid of weird drop shadow next to app menu
  Resolves: #1599841
gnome-shell-extension-no-hot-corner-3.26.2-3.el7.noarch [17 KiB] Changelog by Florian Müllner (2018-02-23):
- Enable top-icons extension in classic mode
  Resolves: #1548446

Listing created by repoview