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

Nick Treleaven notifications at xxxxx
Mon May 1 08:18:59 UTC 2017


ntrel commented on this pull request.



> @@ -3719,9 +3719,15 @@ Clone                                                     See `Cloning documents
 
 Replace tabs with space                                   Replaces all tabs with the right amount of spaces
                                                           in the whole document, or the current selection.
+                                                          If the replacement was made in the whole document,
+                                                          also changes the document's indent type to
+                                                          *Spaces*.

Doesn't the command change the indent type even when no replacements were made?

-- 
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#pullrequestreview-35549421
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170501/cc167f4f/attachment.html>


More information about the Github-comments mailing list