gitk: use a tabbed dialog to edit preferences