A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
Show Details menu label uses the default translation of the Gnome Shell. But the text of the Gnome Shell menu item is App Details, therefore this label is always displayed in English.
With the old label:
With the new label it's correct displays Gnome Shell localized string:
Close #2104
Show Detailsmenu label uses the default translation of the Gnome Shell. But the text of the Gnome Shell menu item isApp Details, therefore this label is always displayed in English.With the old label:
With the new label it's correct displays Gnome Shell localized string: