Re: [PATCH] Add a way to preserve overridden GDB commands for later invocation

[Marco Barisione <mbarisione@undo.io>]

On 28 Oct 2019, at 17:36, Eli Zaretskii <eliz@gnu.org> wrote:
>> +@var{preserve_when_overridden} is an optional argument.  If @code{True},
>> +then the new command is not deleted when it's overridden by another
>> +command with the same name, otherwise it's deleted.  When a command is
>> +preserved, the overriding command can still invoke it through its
>> +@code{invoke_overridden} method.
> 
> When you describe a complex new notion, it is important to use the
> same words consistently when referring to the same things.  In this
> case, you first used "not deleted", and later referred to the same
> thing as "preserved".  Not every reader will correctly conclude that
> these two mean the same.  So, to avoid confusion, use just one of the
> two in both instances, okay?

I was trying to make it clear that not being preserved means that the
object will be deleted, unless something holds a reference to it.  I
agree that this is not very clear.
Thanks for the feedback, I will fix this (and the other things as well).


-- 
Marco Barisione