text editor: move "automatic indentation" to settings
previously GNOME/gnome-text-editor#628 (closed)
people who don't code may not know what it means. i think it's probably not a frequently changed option. could it be moved to settings and have a subtitle explaining it?