Bagaimana cara menyembunyikan panel GNOME 3?

22

Apakah ada kemungkinan untuk autohide Panel dalam sesi GNOME? Pada gambar di bawah ini saya memilih area yang saya maksud.

panel gnome-shell autohide

— FieryCod
sumber

3

Saya pikir itu tidak mungkin. Tetapi menggunakan compizconfig-settings-managerlike yang dijelaskan di sini mungkin merupakan opsi.

— Dimitri Podborski

3

@incBrain GNOME dan compiz adalah hal yang sangat berbeda.

— AB

27

Menggunakan ekstensi GNOME yang disebut Hide Top Bar .

Konfigurasikan ekstensi di Firefox Anda atau dengan Tweak Tool

— AB
sumber

Jika Anda bingung tentang tepatnya di mana di Alat Tweak di atas dapat ditemukan, itu berada di bawah Ekstensi: i.stack.imgur.com/tB1Fa.png

— bgoodr

Peringatan: Panel samping juga muncul yang juga mungkin Anda perlukan. Anda dapat mengontrol ini juga dari Alat Tweak di bagian bawah: i.stack.imgur.com/IKdh5.png

— bgoodr

17

Saya dapat mencapai perilaku yang Anda inginkan dengan cara berikut di Ubuntu 18.04 saya.

Dasbor Terpasang ke Panel Ekstensi Shell GNOME.
Untuk menginstalnya, cukup cari "Dash to Panel" di Perangkat Lunak Ubuntu.
Setelah diinstal, klik kanan pada tombol "tampilkan aplikasi" pada bilah tugas dan klik "Dash to Panel Settings".
Saya memilih Panel Intellihide "On".
Anda dapat mengedit lebih banyak pengaturan dengan mengklik "tombol pengaturan" yang berdekatan dengan Intellihide