jdoda / hotedge

A GNOME Shell extension that replaces the top-left hot corner with a bottom hot edge.
GNU General Public License v2.0
60 stars 5 forks source link

Edge size automation, feature request #23

Closed ghabit closed 1 year ago

ghabit commented 1 year ago

We have edge size options - percentage part of active screen - is it possible to automate this according to dash size? It enlarges and shrinks while system using.

ghabit commented 1 year ago

UPD: this https://github.com/fthx/dock-from-dash extension have this feature working by default, maybe it can help.

jdoda commented 1 year ago

Thanks for the suggestion and sorry for the delay in responding, I was taking a bit of a break.

I've considered this idea, but I'm not going to implement it. The user can't see the size of the dash when they're not in the overview, and so if the size of the hot edge is set by the size of the dash, the user will never be entirely certain where they have to put the mouse in order to activate the hot edge. I think it's important to the usability of the hot edge that it always be in the same location and have the same size.