[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