Fwd: Addresses in pretty-printing

[Tom Tromey]

>>>>> "Jim" == Jim Blandy <jimb@red-bean.com> writes:

Tom> This is just shorthand for a bunch of calls to gdb.execute, to set the
Tom> various parameters?

Jim> Yes, and it could avoid the silly stringify/pass to gdb/destringify
Jim> process and just write to user_print_options directly.

I guess I don't have any objection to that, either, as long as it
properly notifies the observers.

I'm looking forward to your patch.  Thanks.

Tom