Sometimes I do feel the limits of #gnome! I use the hot corner a lot and for that the Dash's position is kind of ass so I looked around for a way to just move it to the right, ideally at the top right. Apparently there is no setting or extension for that unless I use a Dock which I don't want, why can't basic stuff like that be a setting or at least in Tweaks? :/
=> More informations about this toot | More toots from gamey@chaos.social
@gamey
I haven't tried it, but it looks like you can change the location and functionality of the hot corner with the Custom Hot Corners extension.
https://extensions.gnome.org/extension/4167/custom-hot-corners-extended/
=> More informations about this toot | More toots from gnomelibre
@gnomelibre Someone else recommended a extension for hot edges already, it's going to take ages to retrain my muscle memory but those will probably be helpful long term. Thanks for the recommendation!
=> More informations about this toot | More toots from gamey@chaos.social
text/gemini
This content has been proxied by September (3851b).