Code

gitk: Fix changing colors through Edit->Preferences