Preferensi Papan Ketik Terminal
Gunakan preferensi Papan Ketik di Terminal untuk mengatur perilaku papan ketik untuk profil jendela. Untuk membuka panel ini, pilih Terminal > Preferensi, klik Profil, lalu klik Papan Ketik.
Anda dapat membuat profil baru atau memodifikasi profil yang ada.
Daftar tombol | Untuk memodifikasi tombol, pilih tombol, klik Edit, ubah pengaturan tombol, lalu klik OKE. | ||||||||||
Tombol Tambah | Untuk membuat tombol baru, klik Tambah di bawah daftar tombol fungsi. | ||||||||||
Tombol hapus | Untuk menghapus tombol, pilih tombol dalam daftar, lalu klik Hapus di bawah daftar tombol fungsi. | ||||||||||
Gunakan Pilihan sebagai Tombol Meta | Agar tombol Option pada papan ketik bertindak sebagai tombol meta, pilih “Gunakan pilihan sebagai tombol meta.” Hal ini berguna untuk komputer yang menjalankan X11 dan untuk beberapa editor teks. | ||||||||||
Gulir layar alternatif | Untuk mengaktifkan pengguliran layar alternatif, pilih “Gulir layar alternatif.” |