[PATCH] gitk: Make selection highlight color configurable
treecfeef13d3d7a04d33420b99fc93c1ea3d47fd87a
-rwxr-xr-x 177440 gitk