Converts tabs to spaces and spaces to tabs in Gedit.
Adds two items to Tools -> Indent Converter menu:
-
Spaces to tabs: replaces all leading spaces with tabs in current document. It uses smart guess algorithm to guess the tab size used in the document. If that fails, uses tab size from gedit preferences.
-
Tabs to spaces: replaces all leading tabs with spaces (size is taken from current gedit preferences) in current document.
- Download latest source package.
- Copy
indent-converter.plugin
andindent-converter.py
files to~/.local/share/gedit/plugins/
(or/usr/lib/gedit/plugins/
for system-wide installation). Optionally, usemake install
to install files locally. - Open (restart) Gedit.
- Go to Edit -> Preferences -> Plugins.
- Enable Indent Converter plugin.
Please, contribute your languages.
forked from disfated/gedit-plugin-indent-converter
I just wanted to learn about Python and GTK integration, so I decided to update this plugin to newer Gedit using Python3.
To Do
- Make it work in newer Gedit (tested on v3.34.0) using simple context menus
- Add shortcuts and menu entries to the Tools menu
- Add some commits from @bruno-schneider repo for easier install and i18n support