Dash na panel je podaljšek školjke Gnome da posnema dock, ki v eni vrstici združuje plošče in lansirnike, ki izkorišča številne grafične funkcije, podobne funkcijam KDE Plasma in Windows Aereo. Pojasniti je treba, da Dash to Panel ne ustvari nove plošče, ampak spremeni videz vrstice Gnome Shell.
To podaljšanje smo ponuja različne funkcije Med katerimi lahko izpostavimo: med drugim prilagodimo položaj plošče, spremenimo njeno velikost, prilagodimo njen videz, velikost pisave, prikažemo delujoče programe, skrijemo ikone, prilagodimo položaj ure.
Trenutno Dash to Panel je v svoji različici 9 s katerim doda nekaj funkcij, med katerimi lahko izpostavimo način Window Peek, možnost, da lahko skrijem priljubljene, med drugim se prilagodi manjšim zaslonom.
Nova funkcija Window Peek, nam omogoča, da v predogledu v opravilni vrstici aplikacije v polni velikosti lebdimo, tako da bodo druga okna ali aplikacije postali pregledni, podoben zračnemu učinku sistema Windows 7.
Po drugi strani pa možnost skrivanja »priljubljenih« s plošče daje možnost, da lahko ploščo uporabljamo le kot seznam opravil, ne pa kot kombiniran seznam opravil in zaganjalnik aplikacij.
Če se odločite za uporabo te razširitve, priporočljivo je, da uporabite tudi Gnome Tweak Tool, in v možnostih v zgornji vrstici izključite možnost »Pokaži meni programov«, da ne izgubite menija z nastavitvami v aplikacijah.
Kako namestiti Dash to Panel na Ubuntu 17.10
Najprej, če želite namestiti Dash na Panel, glavna zahteva je imeti Gnome Shell v vašem sistemu, tako da če ga še nimate, lahko to storite vodnik za namestitev v vaš sistem.
Dash na panel je na voljo za prenos iz Githuba in lahko prenesite s te povezave.
Če ste s spletnega mesta namestili Dash to Panel extensions.gnome.org, v naslednjih dneh bi se lahko posodobili na to različico, ker lahko vseeno prenesite in namestite od tukaj.
ne dela za debian?
Nisem ga preizkusil na Debianu. žal mi je