gdb/tui: make use of a scoped_restore
authorAndrew Burgess <aburgess@redhat.com>
Thu, 5 Jan 2023 15:13:54 +0000 (15:13 +0000)
committerAndrew Burgess <aburgess@redhat.com>
Wed, 25 Jan 2023 11:35:02 +0000 (11:35 +0000)
commit2e10cefd83b6a5b0b3745da1134d35a4924db6c5
treebb02f8ed4aa41ed997f43c9950add4529e0b39ce
parent6db98f026e4dcd7ca9d069542a7bbb3f4539482b
gdb/tui: make use of a scoped_restore

Make use of a scoped_restore object in tui_mld_read_key instead of
doing a manual save/restore.

I don't think the existing code can throw an exception, so this is
just a cleanup rather than a bug fix.

There should be no user visible changes after this commit.
gdb/tui/tui-io.c