Re: [RFA 17/22] Remove make_cleanup_restore_current_uiout

Tom Tromey
2016-09-30T21:41:56Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

>> In an earlier thread there was a discussion of not having this cleanup
>> be over-general -- that is, it was intentionally specific to just
>> current_uiout.

Pedro> how about:

Pedro> struct scoped_restore_current_uiout : public scoped_restore<ui_out *>

With the make_scoped_restore change it was simpler to just change the
few (one or two? I forget) users to mention current_uiout explicitly.

Tom