[aur-requests] [PRQ#19061] Deletion Request for gnome-shell-extension-no-topleft-hot-corner

notify at aur.archlinux.org notify at aur.archlinux.org
Tue Apr 28 19:03:22 UTC 2020

NicoHood [1] filed a deletion request for gnome-shell-extension-no-
topleft-hot-corner [2]:

This package is obsolete now, as the gnome tweaks tool provide an
option to disable the hot corner. You could also use dconf if you
wish. The gnome tweaks setting is under Top Bar -> Activities Overview
Hot Corner (First entry).

[1] https://aur.archlinux.org/account/NicoHood/
[2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-no-topleft-hot-corner/

More information about the aur-requests mailing list