On Thu, 19 Jul 2007, Andy Parkins wrote: > On Thursday 2007 July 19, Johannes Schindelin wrote: > > And how would having "core.pager" but "porcelain.editor" be easier to > > remember? Nah, not really. > > If there is no difference, then do you object so strongly? If anything I think it is core.pager which is a misnommer. A pager is certainly more porcelainish. by nature. Given that core.pager already exists, I think it would be yet another mistake to put editor in a different section separate from pager. IMHO both of them should have been user.pager and user.editor. Nicolas - 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
