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