This is the mail archive of the
mailing list for the GDB project.
Re: [PATCH master+7.12 v2 1/3] Introduce cleanup to restore current_uiout
On 2016-09-14 15:12, Tom Tromey wrote:
"Pedro" == Pedro Alves <firstname.lastname@example.org> writes:
Pedro> FWIW, I like the newer spelling better since we'll always be
Pedro> restoring current_uiout, but it's not a big deal at all.
The only existing call to make_cleanup_restore_uiout uses
so another option would be to just replace that.
Ah then it makes sense to use make_cleanup_restore_current_uiout. Why
have a parametrized version when we don't need it? I'll post an updated