private void IgnoreWhitespaceChangesToolStripMenuItemClick(object sender, EventArgs e)
{
IgnoreWhitespaceChanges = !IgnoreWhitespaceChanges;
ignoreWhiteSpaces.Checked = IgnoreWhitespaceChanges;
ignoreWhitespaceChangesToolStripMenuItem.Checked = IgnoreWhitespaceChanges;
OnExtraDiffArgumentsChanged();
}