Panel-Docklet adalah ekstensi GNOME Shell yang bertindak sebagai dermaga atau panel, menunjukkan diminimalkan dan jendela yang aktif.Panel-Docklet memiliki dukungan untuk beberapa layar, jendela-judul, ruang kerja, menyeret, favorit.Untuk menginstal...