Re: [PATCH master+7.12 v2 1/3] Introduce cleanup to restore current_uiout

Simon Marchi
2016-09-15T03:17:50Z

On 2016-09-14 15:12, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> 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
> current_uiout,
> so another option would be to just replace that.
>
> Tom

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
patch.