Use ui_out_redirect_pop in more places
authorTom Tromey <tromey@adacore.com>
Thu, 11 Aug 2022 16:07:18 +0000 (10:07 -0600)
committerTom Tromey <tromey@adacore.com>
Wed, 31 Aug 2022 17:03:39 +0000 (11:03 -0600)
commit992aeed80b0a6ef1d60ce01df52f3397c3274f35
tree1a7af982504b79000f29ccf44ef52e739b7e1a97
parent55a6603404099c0b61a5e4613712d3935c2e2bb6
Use ui_out_redirect_pop in more places

This changes ui_out_redirect_pop to also perform the redirection, and
then updates several sites to use this, rather than explicit
redirects.
gdb/breakpoint.c
gdb/guile/scm-breakpoint.c
gdb/guile/scm-ports.c
gdb/mi/mi-interp.c
gdb/python/py-breakpoint.c
gdb/top.c
gdb/ui-out.h