gitk: Highlight entries in the file list as well