Re: [2/2] RFA: implement 'set print symbol'

[Eli Zaretskii <eliz@gnu.org>]

> Date: Tue, 10 Apr 2012 08:52:26 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: Tom Tromey <tromey@redhat.com>, gdb-patches@sourceware.org
> 
> On Tue, 10 Apr 2012 08:15:20 +0200, Eli Zaretskii wrote:
> > I'm confused.  What is the plan now?
> 
> Everything the same, just by default it will be now "set print symbol on".
> But one can manually "set print symbol off" to retain the GDB-7.4 behavior.

Why do we need to retain the old behavior?  You yourself said that no
one will find this option to use it.  My vote is to have the new
behavior as the only one.  The mess with "set print" and p/a is
already too much, even without an additional knob.

But if we must have it, I would suggest to call it "set print
no-symbol", and have it off by default.  (Yes, I know: double negation
is not an ideal situation, but it is IMO better than the aggravation
from the need to type more to disambiguate the command for
completion.)