Refresh document highlight after rename, but not during

Co-Authored-By: Antonio Scandurra <me@as-cii.com>
4f086b8d7aNathan Sobo committed on 3/12/2022, 5:10:06 PMparentc35a96c
1 file changedLine totals unavailable