Bagaimana cara menyesuaikan margin untuk nomor baris di gEdit?

8

Baru-baru ini saya dapat meningkatkan margin kiri antara kode dan nomor baris di Gedit (Gnome-text-editor) di Ubuntu 12.10. Saya tidak ingat bagaimana saya mencapai ini, saya juga tidak ingat bagaimana Gedit kembali ke margin klasik yang sangat ketat bagi saya. Lihat tangkapan layar:

Gedit Adakah yang tahu bagaimana saya dapat meningkatkan margin kiri di Gedit 3.6.1? Terima kasih

gedit Hanynowsky
sumber
Jika Anda tidak tahu bagaimana Anda meningkatkan margin sebelumnya, mungkin itu karena Anda memiliki garis yang cukup untuk membuat nomor garis yang lebih panjang membutuhkan lebih banyak ruang. Kemudian angka garis yang lebih kecil akan menggunakan ruang ekstra sebagai margin. Saya tidak tahu cara lain.
Zilvador
Tidak. Saya ingat bahwa itu adalah opsi di suatu tempat untuk menambah dan mengurangi margin antara line_number dan kode.
Hanynowsky

Jawaban:

3

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.

masukkan deskripsi gambar di sini


sumber