[PATCH 3/3] Add a way to temporarily set a gdb parameter from Python

[Tom Tromey]

Andrew> Maybe I'm missing something, but, if I wanted to make a permanent
Andrew> change to a parameter (i.e. one that persists outside the scope of a
Andrew> call to gdb.set_parameter) do I need to use gdb.execute ("set ....")?

Yes.

Andrew> If that's the case, I wonder how you'd feel about having two
Andrew> functions,

Andrew>   gdb.set_parameter(PARAM, VALUE)
Andrew>   gdb.with_parameter(PARAM, VALUE)

Andrew> The second of these is what you propose adding (but with a new name),
Andrew> the first make a persistent change to the parameter value?

Sounds good, I'll make this change.

Tom