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?

Ilya