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.
My understanding is that "Empty" here is a verb in imperative, not an adjective. The previous translation was correct only if "Empty" was as adjective.
My understanding is that "Empty" here is a verb in imperative, not an adjective. The previous translation was correct only if "Empty" was as adjective.