6 ms·
I don't really understand the rationale either, but it's easy to add a hot bottom edge with this extension: https://extensions.gnome.org/extension/4222/hot-edg
by lower 5y ago
I don't really understand the rationale either, but it's easy to add a hot bottom edge with this extension:
https://extensions.gnome.org/extension/4222/hot-edge/ https://extensions.gnome.org/extension/4222/hot-edge/