Einige Programme erfordern Tabulatorzeichen, z. B. make
Tabulatoren in Makefile
s. Wenn gedit
Tabulatoren durch Leerzeichen ersetzt werden sollen, ist es schmerzhaft, die Einstellungen jedes Mal zu ändern oder ein Zeichen aus einem anderen Dokument zu kopieren.
Ich benutze 3.10.4 unter Ubuntu 15.04.
Sie können ein Literal Tabin gedit einfügen, indem Sie den GNOME Unicode-Eingabemodus verwenden:
Ctrl+ Shift+U
und dann eintreten, 9gefolgt von Enter. Das horizontale Tabulatorzeichen ist der Unicode-Codepunkt
U+0009
. Dadurch wird unabhängig von Ihren Einstellungen ein Tab eingefügt, um Tabs zu erweitern, oder nicht.quelle
Sie können Verknüpfungen erstellen, um diese Einstellung schnell zu ändern:
quelle
gedit
.