On 2022-05-17 11:35, Daniel van Vugt wrote:
> Given how freely extensions might change things I would lean toward
> never mentioning "dash" or "dock" in menu items. Like "Move to
> favourites" since doing so removes the icon from the app grid.
Sounds reasonable to me.
But please note that some ot
Ironically I'm dealing with ubuntu-dock code right now that mentions
"dock.dash" as in the dash is a member of the Ubuntu dock. But that's an
implementation detail...
Given how freely extensions might change things I would lean toward
never mentioning "dash" or "dock" in menu items. Like "Move to
@Daniel:
If you don't agree, what would you prefer? I have already mentioned two
suggestions to address the inconsistency.
On 2022-05-17 05:03, Daniel van Vugt wrote:
> * Regular users are less likely to understand "pinned" as much as
> "favourites".
This is not about "Pinned" vs. "Favorites". I
3 matches
Mail list logo