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

Jiří Techet notifications at xxxxx
Wed May 10 20:44:42 UTC 2017


techee 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*.

Yes. But the added sentence refers to the previous sentence:

"Replaces all tabs with the right amount of spaces in the whole document, or the current selection."

So by "whole document" it means "no selection is made". Just let me know if you think some different wording should be used.

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


More information about the Github-comments mailing list