Ilya Zakharevich on Fri, 22 Sep 2000 15:39:28 -0400

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: PATCH: a sensible default for a prettyprinter

On Fri, Sep 22, 2000 at 04:57:25PM +0200, Karim BELABAS wrote:
> [Ilya:]
> > [...] *prettyprinter_def = "tex2mail -TeX -noindent -ragged -by_par";
> > [...] *prettyprinter = prettyprinter_def;
> My problem with this patch is that it would kill the old (ugly)
> ``prettyprinter'', whether tex2mail is available or not. The current
> situation requires the user to define himself a decent alternate
> prettyprinter in his .gprc.

Hmm?  I thought that prettyprinter is active only with \o2, which is
not useful without it?  If \o2 serves two different meanings depending
on prettyprinter, why not activate prettyprinter on \o3 instead?