-
Kai Willadsen authored
New preferences are awful, but this has been a long-standing issue for performance of folder comparisons, and it's often not clear to new users that it's a thing we do. Also, the upcoming newline-ignoring change makes this even more expensive, so now seems like the right time to add this.
b9db8f47