| commit | f3337b1e944f379fb30e1e1639586d9392096795 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Mon Jul 24 08:41:23 2023 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Tue Aug 01 12:52:26 2023 -0600 |
| tree | da1b574b2610218316e79582c430280690c844b2 | |
| parent | a18b53a8f68bc4fde9bd64b553f4ea500b30c626 [diff] |
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.