Code

gitk: Fix the display of files when filtered by path