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 pull
untuk 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"/>
sudo
untuk aplikasi grafis. Ini mungkin mengacaukan beberapa izin file di direktori home Anda. Gunakan gksudo
sebagai gantinya. Saya mengedit jawaban Anda.
gedit admin:///usr/share/gtksourceview-3.0/styles/classic.xml
sekarang. Atau edit di terminal dengansudo nano /usr/share/gtksourceview-3.0/styles/classic.xml
sudo -H
alih-alih gksudo
, yaitusudo -H gedit /path/to/root-owned-file
gedit admin:///$PATH
adalah bahwa ia bekerja di Wayland juga.