[PATCH] Improve look-and-feel of the gitk tool.