Benzer konularla oynuyordum: Gnome sık kullanılanlar çubuğu etkinlikler görünümünde gösteriliyordu ve rıhtım kilit ekranında gösteriliyordu; pomsky'nin dediği gibi, tüm bu konular Ubuntu Dock ve Dash to Dock kombinasyonu ile ilişkilidir.
Bu çözümü, Dash to Dock'un sunduğu neredeyse tüm seçeneklerle dock'u özelleştirmek için buldum:
- Dash'i Dock'a yükleyin.
- Tüm özelleştirmenizi yapın.
- Dash to Dock'u kaldırın ( https://extensions.gnome.org/local/ adresinden ).
- Çıkış yapın ve giriş yapın.
Dash to Dock kaldırılmış olsa da, Ubuntu Dock'taki özelleştirme (konum, boyut, davranış, görünüm) devam ediyor ve sorunlar (doklar çakışıyor, kilit ekranında dok gösterileri ve etkinlikler görünümünde favoriler gösteriliyor) artık mevcut değil.
Notlar: bu yöntemle Dash to Dock'ta kaybettiğiniz tek şey, uygulamalar simgesinden "Dash to Dock ayarları" menüsü ve elbette Gnome Tweak Tool'daki Dash to Dock ayarları girdisidir. Henüz denemedim, ancak Ubuntu ayarlarında Dock girişinde bir değişiklik yaparsanız, Dash to Dock ayarları ile gerçekleştirilen bazı özelleştirmelerin kaybolacağını düşünüyorum.
sudo apt remove gnome-shell-extension-ubuntu-dock
. Böyle sorunları çözmek için bunu yaptım. Güle güle!