@Wutz Well, I asked this question because it
did bother me (and my colleagues) in real code :) Our main issue is code reviews: If a change in one line triggers 7 more lines to change, it can become very cumbersome (and error prone) to spot the actual change in a diff view. But you are certainly right: These formatting issues are just a symptom of bad design. And we do want to change the design, and for doing that, easy to spot changes cannot be harmful :) —
sebrockm just now