Utama Linux Memperbesar ikon panel dan aplikasi di Cinnamon

Memperbesar ikon panel dan aplikasi di Cinnamon



Jika Anda menjalankan Linux Mint dengan Cinnamon, atau distro Linux lainnya dengan lingkungan desktop Cinnamon, Anda mungkin tidak senang dengan panel kecil (taskbar) dan ikon kecil untuk menjalankan aplikasi. Berikut adalah trik sederhana yang memungkinkan Anda memperbesar ukuran panel dan memperbesar ikonnya.

Berikut adalah ukuran default panel di Linux Mint:

Untuk memperbesar panel dan ikon aplikasi di Cinnamon , Anda perlu menyesuaikan pengaturannya. Ini cukup mudah, karena memiliki opsi yang sesuai di GUI.

Lakukan hal berikut.

  1. Klik kanan ruang kosong di panel untuk membuka menu konteksnya:
  2. Di menu konteks, pilih item pengaturan panel:Dialog berikut akan muncul di layar:
  3. Aktifkan opsi bernama 'Gunakan ukuran panel yang disesuaikan ...' seperti yang ditunjukkan di bawah ini:Ini akan memungkinkan Anda untuk menyesuaikan ukuran panel menggunakan trackbar 'Panel height'.
  4. Opsi baru akan muncul di dialog, bernama 'Izinkan Cinnamon untuk mengubah skala teks dan ikon sesuai dengan tinggi panel:'.
    Untuk memperbesar ikon, Anda perlu mengaktifkannya.

Setelah Anda melakukan langkah-langkah sederhana ini, Anda akan mendapatkan ukuran ikon dan panel yang diinginkan di Cinnamon.

Itu dia.

Artikel Menarik

Pilihan Editor

Cara Menemukan Teman Anda di Discord
Cara Menemukan Teman Anda di Discord
Fitur Daftar Teman di Discord adalah solusi sempurna untuk bersosialisasi saat bermain game. Panggil beberapa kontak pemain game terdekat Anda dan hubungkan dari mana saja untuk menikmati game favorit Anda bersama. Discord memiliki beberapa pilihan obrolan dan audio
Cara Membuat Gimp Terlihat Seperti Photoshop
Cara Membuat Gimp Terlihat Seperti Photoshop
Anda akan terkejut mengetahui apa yang dapat Anda lakukan dengan GIMP, program pengeditan foto gratis. Perangkat lunak yang dapat diunduh ini dapat membantu Anda membuat foto spektakuler dengan memungkinkan Anda mengedit detail kecil, memperbaiki warna, atau sekadar mengubah gambar Anda.
Cara Menambahkan Perangkat di Google Play
Cara Menambahkan Perangkat di Google Play
Artikel Diperbarui pada 21 November 2021, untuk mencerminkan detail terkini tentang penambahan perangkat ke Google Play. Menambahkan perangkat ke Google Play itu sederhana, dan Anda dapat melakukannya di banyak perangkat. Bahkan perangkat iOS dapat menggunakan Google Play. Namun, mereka
Cara Memindahkan Halaman di Google Docs
Cara Memindahkan Halaman di Google Docs
Sebagai alternatif MS Word dan penerus yang cukup banyak, Anda pasti berharap Google Docs ditujukan untuk keserbagunaan dan penerapan yang baik. Meskipun aplikasi web memberikan banyak kemudahan, memungkinkan kolaborasi di seluruh dunia, dan
Cara Mengubah Suara Lonceng Bel Pintu Ring
Cara Mengubah Suara Lonceng Bel Pintu Ring
Ring menawarkan bel pintu yang belum pernah Anda lihat atau dengar sebelumnya. Meskipun tentu saja bel pintu, pada dasarnya, konektivitas unggulan dan mode video membuatnya menjadi sesuatu yang lebih. Perangkat ini dilengkapi dengan kamera video langsung, speaker
Cara Menemukan Siapa Nomor Telepon Milik
Cara Menemukan Siapa Nomor Telepon Milik
Jika Anda menerima panggilan dan tidak mengenali penelepon, bagaimana Anda mengetahui nomor telepon itu milik siapa? Apakah Anda menelepon mereka kembali dan berisiko menelepon pemasar atau agen penjualan? Apakah Anda mengabaikannya dan
10 Program Firewall Gratis Terbaik
10 Program Firewall Gratis Terbaik
Windows memang memiliki firewall bawaan, tetapi tahukah Anda ada opsi lain? Berikut daftar program firewall gratis terbaik yang dapat kami temukan.