Meskipun saya telah mengatur " Auto-sembunyikan Dock " ke On, dock tidak hilang. Ikon pada desktop bergerak sedikit ke kiri sehingga sebagian tertutup oleh dock, tetapi dock tetap ada di sana selama tidak ada jendela maksimal yang menutupinya.
Gambar pertama menunjukkan ekstrak desktop saya dengan sembunyikan otomatis, yang kedua dengan sembunyikan otomatis.
Gambar ketiga menunjukkan apa yang saya inginkan dan apa yang saya dapatkan melalui jawaban @ pomsky.
18.04
gnome-shell
ubuntu-dock
dock
muclux
sumber
sumber