Martinus Ady H. BloG

Human Knowledge Belongs To The World

Howto Change Default Editor Font in MySQL Workbench

| Comments

Pernah merasa bahwa font yang digunakan oleh aplikasi MySQL Workbench kurang nikmat dipandang mata ? Pernah merasa ingin mengganti font yang digunakan oleh MySQL Workbench melalui menu Edit > Preferences tapi masih saja tidak berubah ? Jika iya, berarti kita mempunyai masalah yang sama :D Setelah kemarin iseng-iseng bertanya ke paman Google, akhirnya saya menemukan juga bagaimana mengganti font untuk SQL Editor di MySQL Workbench :) Jika kita menggunakan linux, maka carilah file dengan nama /home/namauser/.mysql/workbench (catatan: namauser diganti dengan nama user anda) dan jika di Windows maka carilah file C:\Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xml Jika sudah, sekarang carilah entri seperti dibawah ini :

<value type="string" key="workbench.general.Editor:Font">Bitstream Vera Sans Mono 11</value>

Gantilah entrian font dengan font yang anda inginkan, jika sudah tutup dan jalankan lagi MySQL Workbench maka kita akan mendapatkan hasil kurang lebih seperti gambar dibawah ini :)

Nah dengan begini, jadi makin betah bukan berlama-lama menggunakan MySQL Workbench :)

Referensi:

  1. Change Font MySQL Workbench

Beri Komentar Lewat Facebook:

Beri Komentar Lewat Disqus: