Permintaan untuk lebih banyak ruang antara nomor baris dan konten kadang-kadang telah disuarakan di milis sebelumnya, dan di sini adalah ringkasan penyelidikan saya tentang situasi saat ini.
Kami dapat menemukan geditpengaturan tambahan dengan memasukkan di terminal
gsettings list-recursively | grep -i gedit
dan kemudian kita bisa mempersempitnya sedikit lebih jauh dengan masuk
gsettings list-recursively | grep -i gedit | grep -i margin
yang mengembalikan entri margin dan pengaturan Anda saat ini:
org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2
Tetapi ini adalah pengaturan margin yang tepat, dan sama dengan menu pengaturan gui; tampaknya juga tidak ada kemungkinan yang sesuai di sisa pengaturan atau plugin apa pun yang akan berguna bagi Anda.
Penting untuk dicatat bahwa geditmenggunakan gtksourceview , dan, ketika diperiksa, set fitur dari pustaka itu akan akrab bagi geditpengguna. Namun, tidak disebutkan dalam spesifikasi margin kiri atau cara untuk menentukan pemisahan antara nomor baris dan entri dalam geditdokumen Anda .
Namun, saya pikir Anda bisa melakukan apa yang Anda inginkan dengan menambal gtksourceviewperpustakaan, dan menambal gedit. Setelah melihat spesifikasi gtksourceview, saya pikir Anda perlu menambal gtksourcegutterpengaturan; dalam dokumentasi dicatat bahwa
Objek GtkSourceGutter mewakili selokan kiri dan kanan dari tampilan teks. Ini digunakan oleh GtkSourceView untuk menggambar nomor garis dan tanda kategori yang mungkin ada pada suatu garis. Dengan mengemas objek GtkSourceGutterRenderer tambahan di selokan, Anda dapat memperluas selokan dengan gambar kustom Anda sendiri.
Ada diskusi tentang selokan di milis , meskipun tidak dengan referensi spesifik untuk pertanyaan Anda, tetapi berkaitan dengan kemungkinan penyesuaian.
Anda mungkin berpikir telah mengaktifkan ruang antara nomor baris dan entri dalam dokumen Anda dengan melakukan proses yang ditunjukkan pada tangkapan layar di bawah ini.
Anda membuat file baru dengan gedit, pergi ke edit> preferensi> tampilan dan aktifkan margin kanan dan atur ke 2, misalnya. Kemudian Anda menempatkan kursor di margin, ketikkan sesuatu, tekan kembali, dan kemudian simpan file. Kemudian ketika file dimuat ulang ruang antara angka dan konten tetap sampai Anda melampaui margin.
Ini telah terjadi pada saya beberapa kali, dan membingungkan, tetapi bukan cara yang dapat diandalkan untuk melakukan apa yang Anda inginkan. Karena tidak ada pengaturan resmi yang tersedia, satu-satunya cara untuk melakukan apa yang Anda inginkan adalah menambal gtksourceviewdan gedit.
Adakah yang tahu bagaimana saya dapat meningkatkan margin kiri di Gedit 3.6.1? Terima kasih