Rename private member of FrameDecorator
authorTom Tromey <tromey@adacore.com>
Mon, 24 Jul 2023 14:41:23 +0000 (08:41 -0600)
committerTom Tromey <tromey@adacore.com>
Tue, 1 Aug 2023 18:52:26 +0000 (12:52 -0600)
commitf3337b1e944f379fb30e1e1639586d9392096795
treeda1b574b2610218316e79582c430280690c844b2
parenta18b53a8f68bc4fde9bd64b553f4ea500b30c626
Rename private member of FrameDecorator

In Python, a member name starting with "__" is specially handled to
make it "more private" to the class -- it isn't truly private, but it
is renamed to make it less likely to be reused by mistake.  This patch
ensures that this is done for the private method of FrameDecorator.
gdb/python/lib/gdb/FrameDecorator.py