Code

[PATCH] gitk: Fix searching for filenames in gitk