一些程序需要制表符才能工作,例如make在Makefiles 中需要制表符。如果gedit配置为用空格替换制表符,则每次更改设置或从另一个文档复制字符都很痛苦。
我在 Ubuntu 15.04 上使用 3.10.4。
Mic*_*ler 12
您可以Tab使用 GNOME Unicode 输入模式在 gedit 中插入文字字符:
Ctrl+ Shift+U
然后输入9后跟Enter。水平制表符是 Unicode 代码点U+0009。无论您是否喜欢扩展选项卡,这都会插入一个选项卡。
您可以创建快捷方式来快速更改此设置:
gsettings set org.gnome.gedit.preferences.editor insert-spaces false
Run Code Online (Sandbox Code Playgroud)
克隆存储库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
Run Code Online (Sandbox Code Playgroud)为gedit创建插件文件夹
mkdir -p ~/.local/share/gedit/plugins
Run Code Online (Sandbox Code Playgroud)创建符号链接
ln -s ~/src/makefiletab3 ~/.local/share/gedit/plugins/makefiletab3
Run Code Online (Sandbox Code Playgroud)更改Python版本makefiletab3.plugin
打开文件
nano ~/.local/share/gedit/plugins/makefiletab3/makefiletab3.plugin
Run Code Online (Sandbox Code Playgroud)
并替换
Loader=python
Run Code Online (Sandbox Code Playgroud)
和
Loader=python3
Run Code Online (Sandbox Code Playgroud)重新启动gedit并激活插件