Hi Paul, I'm following up this email with a re-send of some earlier patches for your review (previously sent to the list). They make some fixes to the font and theme use, mainly for consistency. Since last time and have based them on gitk.git master (instead of git.git); no other changes. Thanks -- Mark -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html