Code

gitk: Use a tabbed dialog to edit preferences