Re: refreshing the gitk colour scheme

> Hello everyone,
> 
> I’ve been using Gitk with the following colour settings for a year or
> so, and I found it much more convenient to use that the current default,
> so I’d like to propose to make them the defaults. These colours are
> slightly less 80’s i.e. they’re using colours outside of the ‘classic’
> 16 colour palette for a more pleasing visual experience.
> 
> set headbgcolor #98ff5e
> set remotebgcolor #bae2ff
> set tagbgcolor #f3fb57
> set mainheadcirclecolor #ffeb74
> set indexcirclecolor green
> set circlecolors {white #08b5ed gray blue blue}
> 
> I also found it may be a good idea to disable auto-selection of the
> commit hash by default, since it overwrites whatever content was in the
> selection clipboard, and also pollutes the clipboard history if the user
> is using a clipboard manager:
> 
> set autoselect 0
> 
> Here’s one more change which I am not proposing for inclusion, but I
> found it more æsthetically pleasing than the default:
> 
> set mainfont {FreeSans 11}