Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Where has the Gnome hot corner setting gone?

99 views
Skip to first unread message

Richmond

unread,
Mar 29, 2023, 1:30:10 PM3/29/23
to
I thought I had disabled hot corners, but occasionally, if I select and
swipe in the location bar of my browser, it activates hot corner. When I
went back to check the setting which was in "multitasking" before, that
tab has gone. Where is the hot corner setting now?

Cindy Sue Causey

unread,
Mar 29, 2023, 3:40:06 PM3/29/23
to
Hi.. I've taken a poke at this via an Internet search. I originally
missed you declaring GNOME in the subject line. That brings up this:

gsettings set org.gnome.desktop.interface enable-hot-corners false

That's a tweak on where they're telling the user on this webpage to
enter "true":

https://askubuntu.com/questions/1259451/how-to-enable-to-hot-corners-function-on-lubuntu20-04

Maybe once you set that, gsettings can be used to adjust it from
there? I tried that command on my setup. It didn't complain since I do
have one or more GNOME packages installed. Mine's currently set to
"true" with no obvious GUI to set up what actions go with the 4
corners.

Because you mentioned this was affecting your browser usage, maybe
this explains what happened there:

https://haydenjames.io/ubuntu-22-04-install-gnome-extensions-manager-workaround/

It's saying that Firefox, for one, is no longer compatible in that
operating system.

With some more searching, I encountered gnome-shell-extensions and
gnome-shell-extension-manager. Those may or may not help, but they do
exist and are specifically mentioned with respect to toggling hot
corners.

Searching for those two and Debian as keywords keeps trying to point
users to outside websites. I don't know why it would since it looks
like the same packages are available through Debian's own apt package
manager.

WARNING: I was going to test drive the extension manager, but
gnome-shell-extensions by itself wants to install 201 new packages at
125MB download, 488MB of additional space used. Maybe next time.

If anyone gets curious about hot corners, apparently not all desktops
offer them and/or they store hot corners access in varying settings
locations. Best bet might be to specify the desktop environment in
searches.

"apt-get search" pulls up an applet for Budgie. Anything else with hot
corners apparently has them included as one piece of an inclusive
"goodies" type package.

Me? I tried it, maybe when I was trapped using Mint's LiveDVD. The
experience lasted about 90 seconds. My mouse usage is too erratic,
moves around the screen too much so the otherwise helpful effect got
old really quick.

Cindy :)
--
Talking Rock, Pickens County, Georgia, USA
* runs with birdseed *

Richmond

unread,
Mar 29, 2023, 4:30:07 PM3/29/23
to
That's interesting because when I entered this:

gsettings get org.gnome.desktop.interface enable-hot-corners

it said:

false

Which means I have disabled it, and the effect I saw must have been a
bug. But it is hard to recreate. It happens from time to time though, I
am using a trackball mouse so zooming to the top right can happen quite
easily.

Richmond

unread,
Mar 29, 2023, 4:30:08 PM3/29/23
to
I find it easy to recreate now. Just press and hold the left mouse
button, then whizz up to the top left corner, and it goes into whatever
mode, even though hot corners are disabled.
0 new messages