[Top][All Lists]

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

Re: remove 'exit'?

From: Ralf Wildenhues
Subject: Re: remove 'exit'?
Date: Sun, 1 May 2011 21:49:35 +0200
User-agent: Mutt/1.5.20 (2010-08-04)


* Bruno Haible wrote on Sun, May 01, 2011 at 09:38:43PM CEST:
> Should we just play more with boldface output?

This sounds like an arms race again.  Whenever that happens, it is
usually most helpful in the long to consider removing output, or
producing some of the other output more judiciously, not adding more
and more noisy and shouting output.

(Just a general observation, I don't have a particular suggestion
here, and will go back to lurking and email catchup mode now.)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]