>>>>> "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