git-gui: Font chooser to handle a large number of font families