-
Benno Schulenberg authored
And also allow it when lines are only partially indented. This makes it possible to equalize the indentations of (accidentally) unevenly indented lines: by first fully unindenting a group of lines, and then reindenting them to the desired amount. Suggested-by:Liu Hao <lh_mouse@126.com>
eb937f81