Jawaban:
Seperti yang dikatakan wojox, Anda dapat mengubah tema Gedit.
Halaman gtksourceview di situs web Gnome memiliki informasi lebih lanjut tentang tema gedit. (Gtksourceview adalah nama komponen perangkat lunak yang menampilkan teks di gedit.)
Untuk memodifikasi tema bawaan, salin dari /usr/share/gtksourceview-2.0/styles/ke ~/.local/share/gtksourceview-2.0/styles/dan edit file teks.
Anda dapat menemukan beberapa tema di repositori git ini . Sepertinya Anda dapat menginstalnya dengan:
sudo apt-get install git-core
git clone https://github.com/mig/gedit-themes.git ~/.gnome2/gedit/styles
(Ini akan memungkinkan Anda untuk menjalankan cd ~/.gnome2/gedit/styles ; git pulluntuk mendapatkan pembaruan untuk tema-tema ini.)
Anda juga dapat mencoba generator tema online ini . Saya menemukan bahwa di artikel ini tentang membuat tema gtksourceview.
Sayangnya, Gedit tidak membiarkan Anda mengubah warna saat ini dan menyimpannya sebagai tema baru. Saya tidak tahu mengapa, karena tampaknya cukup mendasar ... Mungkin para pengembang ingin menyimpannya sekecil dan sesederhana mungkin.
Menggunakan generator tema online cukup mudah, meskipun:
Pergi ke Generator Tema Scribes dan pilih warna yang Anda inginkan. Contoh di layar menunjukkan bagaimana pilihan Anda terlihat.
Klik tombol "Hasilkan" untuk menyimpan tema Anda sebagai file .xml.
Di menu Edit Gedit, klik Preferensi; lalu pada tab Font & Warna, klik tombol Tambah. Jendela file muncul. Pilih file .xml Anda dan klik "Tambah Skema". Warna baru Anda segera diterapkan.
Buka dokumen classic.xml:
gksudo gedit /usr/share/gtksourceview-3.0/styles/classic.xml
Kemudian Anda menempatkan yang berikut ini secara adil.
<!-- Global Settings -->
<style name="text" foreground="#black" background="#white"/>
<style name="selection" foreground="#white" background="#black"/>
<style name="cursor" foreground="#black"/>
<style name="current-line" background="#grey"/>
<style name="line-numbers" foreground="#grey" background="#white"/>
<style name="draw-spaces" foreground="#grey"/>
sudountuk aplikasi grafis. Ini mungkin mengacaukan beberapa izin file di direktori home Anda. Gunakan gksudosebagai gantinya. Saya mengedit jawaban Anda.
gedit admin:///usr/share/gtksourceview-3.0/styles/classic.xmlsekarang. Atau edit di terminal dengansudo nano /usr/share/gtksourceview-3.0/styles/classic.xml
sudo -Halih-alih gksudo, yaitusudo -H gedit /path/to/root-owned-file
gedit admin:///$PATHadalah bahwa ia bekerja di Wayland juga.