-
Brett Cannon authored
Highlighting tab indents is off at the moment since that would be rather noisy, but should be turned on in the future when conversion to the new indentation style has been done.
1b283c5b
Highlighting tab indents is off at the moment since that would be rather noisy, but should be turned on in the future when conversion to the new indentation style has been done.