Bagaimana cara memasukkan karakter tab di gedit jika penggantian dengan spasi diatur?

12

Beberapa program memerlukan karakter tab untuk berfungsi, misalnya makemembutuhkan tab dalam Makefiles. Jika geditdikonfigurasi untuk mengganti tab dengan spasi, menyakitkan untuk mengubah pengaturan setiap kali atau menyalin karakter dari dokumen lain.

Saya menggunakan 3.10.4 di Ubuntu 15.04.

gedit

— Karl Richter
sumber

4

Instal plugin untuk gedit

Kloning repositori git://git.gitano.org.uk/personal/liw/makefiletab3.git

mkdir -p ~/src
cd src
git clone git://git.gitano.org.uk/personal/liw/makefiletab3.git

Buat folder plugin untuk gedit
```
mkdir -p ~/.local/share/gedit/plugins
```

Buat tautan simbolis

ln -s ~/src/makefiletab3 ~/.local/share/gedit/plugins/makefiletab3

Ubah versi Python di makefiletab3.plugin

Buka file

nano ~/.local/share/gedit/plugins/makefiletab3/makefiletab3.plugin

dan ganti

Loader=python

dengan

Loader=python3

Mulai ulang gedit dan aktifkan plugin

— AB
sumber

Tautan git repo sudah basi. Saya mendapatkan kesalahan saat mencoba mengkloningnya.

— Nick

Saya menggunakan ini github.com/polazarus/gedit-makefiletab.git , tetapi gedit tidak mendeteksi plugin.

— Nick

Ini berhasil, github.com/krichter722/makefiletab3

— Nick

11

Anda dapat menyisipkan Tabkarakter literal di gedit dengan menggunakan mode input GNOME Unicode:

Ctrl+ Shift+U

dan kemudian masukkan 9diikuti oleh Enter. Karakter tab horizontal adalah titik kode Unicode U+0009. Ini akan menyisipkan tab terlepas dari preferensi Anda untuk memperluas tab atau tidak.

— Mike Miller
sumber

6

Anda dapat membuat pintasan untuk mengubah pengaturan ini dengan cepat:

gsettings set org.gnome.gedit.preferences.editor insert-spaces false

— matandked
sumber

1

Ide bagus. Saya akan menghapus petunjuk bahwa mungkin untuk menggunakan program lain karena orang mungkin melihat alasan untuk tidak mengungguli karena judulnya menunjukkan bahwa pertanyaannya adalah tentang gedit.

— Karl Richter