Skip to content

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

License: GPLv2+
Vendor: CentOS
This GNOME Shell extension disables the hot corner in the top bar.


gnome-shell-extension-no-hot-corner-3.28.1-17.el7_9.noarch [20 KiB] Changelog by Florian Müllner (2021-04-15):
- Override lg foreground color
  Resolves: #1875419
gnome-shell-extension-no-hot-corner-3.28.1-16.el7_9.noarch [19 KiB] Changelog by Florian Müllner (2021-01-26):
- Fix stuck window picker after screen lock
  Resolves: #1904371
gnome-shell-extension-no-hot-corner-3.28.1-14.el7.noarch [19 KiB] Changelog by Florian Müllner (2020-06-17):
- Fix workspace switch in window-list outside GNOME Classic
  Resolves: #1848058
gnome-shell-extension-no-hot-corner-3.28.1-11.el7.noarch [19 KiB] Changelog by Jonas Ådahl (2019-12-06):
- A couple of fixes to the classic backports
  Resolves: #1778270
gnome-shell-extension-no-hot-corner-3.28.1-7.el7.noarch [18 KiB] Changelog by Florian Müllner (2019-03-26):
- Add window-grouper extension
  Resolves: #1355845

- Add disable-screenshield extension
  Resolves: #1643501
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