Code

gitk: Allow the user to set some colors