Dash to Panel jest rozszerzeniem Gnome Shell oferuje nasz konfigurator emuluje dok, jednocząc panele i wyrzutnie w jednym pasku, korzystając z wielu funkcji graficznych podobnych do tych z KDE Plasma i Windows Aereo. Należy wyjaśnić, że Dash to Panel nie tworzy nowego panelu, ale modyfikuje wygląd paska Gnome Shell.
To rozszerzenie my oferuje różne funkcje Wśród których możemy wyróżnić: dostosować położenie panelu, zmienić jego rozmiar, dostosować jego wygląd, rozmiar czcionki, pokazać uruchomione aplikacje, ukryć ikony, dostosować położenie zegara m.in.
Obecnie Dash to Panel jest w wersji 9 dzięki czemu dodaje kilka funkcji, wśród których możemy wyróżnić tryb Window Peek, możliwość ukrycia ulubionych, dostosowuje się m.in. do mniejszych ekranów.
Nowa funkcja Window Peek, pozwala najechać kursorem na podgląd na pasku zadań aplikacji w pełnym rozmiarze, robiąc to inne okna lub aplikacje staną się przezroczyste, podobny do efektu powietrza w systemie Windows 7.
Z drugiej strony możliwość ukrycia „ulubionych” w panelu daje nam możliwość korzystania z panelu tylko jako listy zadań, a nie jako połączonej listy zadań i programu uruchamiającego aplikacje.
Jeśli zdecydujesz się skorzystać z tego rozszerzenia, zalecane jest również użycie narzędzia Gnome Tweak Tool, i wyłącz opcję „Pokaż menu aplikacji” w opcjach na górnym pasku, aby nie stracić menu preferencji w aplikacjach.
Jak zainstalować Dash to Panel na Ubuntu 17.10
Przede wszystkim, aby zainstalować Dash to Panel, głównym wymaganiem jest posiadanie Gnome Shell w systemie, więc jeśli jeszcze go nie masz, możesz przez to przejść przewodnik, aby zainstalować go w swoim systemie.
Dash to Panel jest dostępny do pobrania z Github i możesz pobrać z tego linku.
Jeśli zainstalowałeś Dash to Panel ze strony internetowej extensions.gnome.org, powinieneś być w stanie zaktualizować do tej wersji w ciągu najbliższych kilku dni, ponieważ i tak możesz pobrać i zainstalować stąd.
nie działa dla Debiana?
Nie testowałem tego na Debianie. Przepraszam