You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The dock sets icon indicators on the panel's outermost edge, i.e. the panel edge which coincides with the screen edge. At least for me, this is a bit unexpected, and I'd personally like to be able to set the indicator on the panel's inner edge. (For example, on my screen, the dock lives in a top panel; I'd like to see indicators on the panel's bottom edge.)
Thinking this needn't be too complicated; could be another dropdown in the Appearances section of the Preferences window; probably only needs two settings to start, one for the panel's inner or outer edge. (Indicators perpendicular to these edges seem weird to me, but as with anything, I could always be over-assuming.)
I'll let more qualified folks decide what the terminology should be for the position choices, but I will emphasize that it should probably account for the case of vertical panels (i.e., left or right screen edge), hence why I use the terms "inner edge" and "outer edge" above.
In terms of settings storage, something like prefs/indicator-position with an enum value probably makes the most sense. (Don't mean to backseat dev with any of the above details; just trying to help make someone's life easier if this gets picked up.)
I don't have much experience with Python, but I'm more than happy to help in any way I can if there's interest in adding this.
The text was updated successfully, but these errors were encountered:
The dock sets icon indicators on the panel's outermost edge, i.e. the panel edge which coincides with the screen edge. At least for me, this is a bit unexpected, and I'd personally like to be able to set the indicator on the panel's inner edge. (For example, on my screen, the dock lives in a top panel; I'd like to see indicators on the panel's bottom edge.)
Thinking this needn't be too complicated; could be another dropdown in the Appearances section of the Preferences window; probably only needs two settings to start, one for the panel's inner or outer edge. (Indicators perpendicular to these edges seem weird to me, but as with anything, I could always be over-assuming.)
I'll let more qualified folks decide what the terminology should be for the position choices, but I will emphasize that it should probably account for the case of vertical panels (i.e., left or right screen edge), hence why I use the terms "inner edge" and "outer edge" above.
In terms of settings storage, something like
prefs/indicator-position
with an enum value probably makes the most sense. (Don't mean to backseat dev with any of the above details; just trying to help make someone's life easier if this gets picked up.)I don't have much experience with Python, but I'm more than happy to help in any way I can if there's interest in adding this.
The text was updated successfully, but these errors were encountered: