[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