[Github-comments] [geany/geany] Set indent type when using "replace tabs with spaces" (plus the opposite direction) (#1161)

Jiří Techet notifications at xxxxx
Thu Aug 4 00:23:39 UTC 2016


> The idea looks ok, though I'm not a great fan of Geany (or any program) doing magic in the background because its "likely" to be the right thing.

Totally agree that we shouldn't do too "smart" things in Geany because these things can get really annoying. That said in this case where someone e.g. replaces all tabs with spaces I can't imagine why he would like to keep using tabs for indenting when he starts making changes in the document. I'm happy to hear a counterexample if you have one.

Geany already does a similar thing with line end characters - it both converts them to the new type and changes the line end type for the document.

---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1161#issuecomment-237415426
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160803/87f365cc/attachment.html>


More information about the Github-comments mailing list