EditorConfig plugin for Gedit