Re: [PATCH] gdb/python: add facility to add values into the history

[Tom Tromey <tom@tromey.com>]

>>>>> "Andrew" == Andrew Burgess <andrew.burgess@embecosm.com> writes:

Andrew> The guile API has (history-append! <value>) to add values into GDB's
Andrew> history list.  There is currently no equivalent in the Python API.

Andrew> This commit adds gdb.history_add(<value>) to the Python API, this
Andrew> function adds <value> into the history list, and returns the index of
Andrew> the new item in the history list.

Andrew> The <value> can be a gdb.Value object, or anything that can be passed
Andrew> to the constructor of gdb.Value.

This seems fine to me, though I think that normally the gdb Python API
uses "verb_object" instead of "object_verb", so I'd expect "add_history"
as the name instead.

However I don't feel all that strongly about it.
Thanks for doing this.

Tom