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