> > I'm not insisting to keep/install them, so is it enough to revert > > 510d82b3b356dbbd007fd085662afea99e947fb7? I think you did some code > > rearrangement with that change. Or do you want to submit a change on > > top of that commit removing the feature only? > > > I'd also like to hear what Keita thinks, since he installed that change. > > I don't have particular preference. Does the new feature conflicts with > prettifying? If so, we have fix it and I'd request Paul to work on it. > If not, I don't think we have to do something with it. >
There are no conflicts or issues with the code AFAIK, so the simplest thing to do would indeed be nothing. _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
