[Bug 1199127] New: Highlighting a file in gitk results in all commits being highlighted