我怎样才能重新禁用 gnome-shell 40 中的热点?

how can I re-disable the hot corner in gnome-shell 40?

我曾经使用 No Topleft Hot Corner extension. Upgrading to gnome-shell 40 has it deprecated. Gnome-tweaks claims it's able to disable it as well, but activating this "disable the hot-corner" option doesn't deactivate the hot corner at all. Finally, I found reading this Ask Ubuntu thread 禁用 gnome-shell 的热点功能

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

但它也不起作用,即使命令 succeeds.So 这个小 Apple© 般的烦恼又回来了。

所以问题确实是:如何再次摆脱它? ...我爱你 Gnome,但你真的时不时地触动我的神经。

看来我必须重新启动才能使 gsettings 命令生效。现在我确实重新启动了,命令立即生效,这意味着我可以使用

切换实时热角功能
gsettings set org.gnome.desktop.interface enable-hot-corners false

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

我想它不工作是因为我升级了 GNOME 后工作站没有重新启动。希望这记录了此功能的整体行为。