Adakah yang bisa membantu dengan mendapatkan transparansi dinamis ke dock dan top bar kembali? Saya menemukan beberapa ekstensi gnome tetapi hanya untuk bilah atas dan saya ingin itu berfungsi untuk keduanya (dok dan bilah atas). Di Ubuntu 18.10 + Gnome 3.30 ini sudah bekerja dengan cukup baik. Mengapa fitur bagus ini dihapus?
Jawaban yang Diterima:
Edit 17-05-2019 :pada Ubuntu 19.04, fitur transparansi Dinamis Dash To Dock tampaknya tidak berfungsi. Anda dapat mengatur custum, opacity tetap saja. akhiri edit
Karena fitur tersebut telah dihapus, Anda perlu menyesuaikan transparansi secara terpisah untuk dok dan bilah atas, dan bermain dengan pengaturan untuk setiap item agar cocok
Dok Cara termudah adalah menginstal Dash ekstensi Gnome Shell ke Dock. Ubuntu Dock didasarkan pada Dash to Dock dan menggunakan pengaturan yang sama. Namun, Dash to Dockexposes plenty of configuration options that allow you, among others, to set dynamic transparency. You can easily install Dash to Dock with the terminal command sudo apt install gnome-shell-extension-dashtodock`.
Untuk mengaktifkan ekstensi dan mengakses pengaturan konfigurasi, pastikan Anda telah menginstal Gnome Tweaks (atau hanya "Tweaks"). Pada tab ekstensi Tweak, Anda dapat mengaktifkan atau menonaktifkan ekstensi yang diinstal. Klik roda gigi di sebelah ekstensi untuk menyesuaikan.
Di opsi Dash to Dock, Anda akan menemukan opsi untuk menyesuaikan transparansi (atau opacity) pada tab "Tampilan". Di samping “Opasitas khusus”, Anda dapat mengaktifkan opasitas dinamis.
Terakhir, pastikan Anda menonaktifkan Dash to Dock atau Ubuntu Dock. Jika tidak, Anda akan menjalankan dua dok.
Bilah atas
Karena ini adalah fitur yang dihapus dari stok Gnome Shell, seseorang dapat mengembalikan fitur tersebut dengan Ekstensi Gnome. Transparansi Panel Dinamis ekstensi Gnome Shell yang diperbarui sepenuhnya akan memenuhi kebutuhan Anda.
Karena ekstensi tidak disertakan dalam sumber perangkat lunak default, Anda harus menginstalnya dari situs web. Ini tidak mungkin dalam instalasi Ubuntu default. Karena saya tidak menemukan pos Askubuntu lain yang mungkin menjelaskan cara mengaktifkan pemasangan ekstensi dari situs web ekstensi Gnome, saya menyebutkannya secara singkat di sini:
- Pasang konektor host. Anda dapat melakukannya dengan mudah di terminal de dengan perintah
sudo apt install chrome-gnome-shell - Instal integrasi gnome shell di browser Anda. Prosedurnya tergantung pada browser yang Anda gunakan.
Sekarang, Anda seharusnya dapat memasang ekstensi hanya dengan mengeklik tombol “Aktif/Mati” di situs ekstensi.