Panelden Dash
Panelden Dash Gnome Shell'in bir uzantısıdır o Panelleri ve rampaları tek bir çubukta birleştirerek bir yuvayı taklit eder, KDE Plasma ve Windows Aereo'dakilere benzer çoklu grafik işlevlerinden yararlanma. Dash to Panele yeni bir panel oluşturmadığı, ancak Gnome Shell çubuğunun görünümünü değiştirdiği açıklığa kavuşturulmalıdır.
Bu uzantı biz çeşitli özellikler sunar Bunlardan bazıları şunlardır: panelin konumunu ayarlayın, boyutunu değiştirin, görünümünü özelleştirin, yazı tipi boyutu, çalışan uygulamaları gösterin, simgeleri gizleyin, saatin konumunu ayarlayın, diğerleri arasında.
Şu anda Panele Dash 9 sürümünde Aralarında sık kullanılanları gizleyebilme olasılığı olan Window Peek modunu vurgulayabileceğimiz birkaç özellik ekleyerek, diğerlerinin yanı sıra daha küçük ekranlara uyum sağlar.
Yeni Pencere Gözetleme özelliği, tam boyutlu olarak bir uygulamanın görev çubuğundaki bir önizlemenin üzerine gelmemizi sağlar, bunu yaparak diğer pencereler veya uygulamalar şeffaf hale gelir, Windows 7'nin Hava etkisine benzer.
Panelden Dash
Öte yandan, panelden "favorileri" gizleme imkanı, bize paneli birleşik bir görev listesi ve bir uygulama başlatıcısı olarak değil, yalnızca bir görev listesi olarak kullanma imkanı veriyor.
Bu uzantıyı kullanmaya karar verirseniz, Ayrıca Gnome Tweak Tool'u kullanmanız önerilir. uygulamalardaki tercihler menüsünü kaybetmemek için üst çubuktaki seçeneklerden "Uygulamalar menüsünü göster" i devre dışı bırakın.
Ubuntu 17.10'da Dash to Panele nasıl kurulur?
Öncelikle Dash to Panele yüklemek için, temel gereksinim Gnome Kabuğuna sahip olmaktır sisteminizde, yani henüz sahip değilseniz, bunun üstesinden gelebilirsiniz. sisteminize kurma rehberi.
Panelden Dash Github'dan indirilebilir ve yapabilirsin bu bağlantıdan indirin.
Dash to Panele web sitesinden yüklediyseniz extensions.gnome.org, önümüzdeki birkaç gün içinde bu sürüme güncelleme yapabilmeniz gerekir, çünkü yine de yapabilirsiniz buradan indirin ve kurun.
debian için çalışmıyor mu?
Debian'da test etmedim. üzgünüm