[PATCH] Improve look-and-feel of the gitk tool.
-rwxr-xr-x 176053 gitk