hiding whitespace changes is not the same as indicating them as whitespace change. in particular hiding messes up the proper display of indentation, so it's not

hiding whitespace changes is not the same as indicating them as whitespace change. in particular hiding messes up the proper display of indentation, so it's not always useful.