Toni Hermoso Pulido's avatar
Toni Hermoso Pulido
@toniher@cau.cat

If using last releases, this extension https://extensions.gnome.org/extension/4167/custom-hot-corners-extended/ is a wonderful addition to control your desktop hot borders.