gitk: Some improvements for the code for updating the display
-rwxr-xr-x 103287 gitk