Як ввести символ вкладки в gedit, якщо встановлено заміну пробілами?

12

Для деяких програм потрібні символи makeвкладок , наприклад, потрібні вкладки в Makefiles. Якщо geditналаштовано замінювати вкладки пробілами, щоразу міняти налаштування болісно або копіювати символ з іншого документа.

Я використовую 3.10.4 на Ubuntu 15.04.

gedit

— Карл Ріхтер
джерело

4

Встановіть плагін для gedit

Клоніруйте сховище 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
```
Створіть папку плагінів для gedit
```
mkdir -p ~/.local/share/gedit/plugins
```

Створіть символічне посилання

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

Змініть версію Python на makefiletab3.plugin

Відкрийте файл
```
nano ~/.local/share/gedit/plugins/makefiletab3/makefiletab3.plugin
```
і замінити
```
Loader=python
```
з
```
Loader=python3
```
Перезавантажте gedit та активуйте плагін

— AB
джерело

Посилання git repo застаріле. Я отримую помилку, коли намагався її клонувати.

— Нік

Я використовував цей github.com/polazarus/gedit-makefiletab.git , але gedit не виявляє плагін.

— Нік

Це спрацювало, github.com/krichter722/makefiletab3

— Нік

11

Ви можете вставити буквальний Tabсимвол у gedit, використовуючи режим введення GNOME Unicode:

Ctrl+ Shift+U

а потім введіть, 9а потім Enter. Символ горизонтальної вкладки - це кодова точка Unicode U+0009. Це дозволить вставити вкладку незалежно від ваших уподобань розширювати вкладки чи ні.

— Майк Міллер
джерело

6

Ви можете створити ярлики, щоб швидко змінити цей параметр:

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

— матандкед
джерело

1

Гарна ідея. Я б видалив натяк на те, що можна використовувати іншу програму, оскільки люди можуть побачити причину, щоб не подавати заявки, оскільки назва вказує на те, що мова йде про питання gedit.

— Карл Ріхтер