Saya telah mengatur font lingkungan saya dengan cara tertentu selama satu atau dua tahun terakhir agar lebih kecil dan lebih mudah dibaca (untuk saya) bersama dengan sekelompok tweak gui lainnya. Saya lupa banyak hal yang saya lakukan untuk melakukannya lagi. Setelah pembaruan perangkat lunak pada...