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
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'm not sure I agree with this, but do appreciate the wording is
confusing in a world of dash and dock.
* Regular users are less likely to understand "pinned" as much as "favourites".
* Power users may have no dock, only a dash, and so the existing wording is
correct.
* It's a patch we would
If we go this route, we'll need yet another conditional in dash-to-dock.
Adding gnome-shell-extension-ubuntu-dock as affected package.
** Also affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
The reason why I bring up this early is that we are about to document
Ubuntu differences in the desktop guide. So for both docs and
translation reasons: Let's do this soon, and avoid some last minute UIF
break.
** Changed in: gnome-shell (Ubuntu)
Importance: Undecided => Medium
--
You
