Dash to Panel е популярно разширение за потребителския интерфейс на Gnome, което обединява функциите на Dash (страничната лента с икони на приложенията) и горния панел на Gnome Shell в един…