| commit | fdda16e1fa9637f9b6ca846eebe881cd2901d75a | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Fri Mar 04 11:40:49 2022 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Thu Mar 10 10:11:38 2022 -0700 |
| tree | b6d0e59fcba33405c300de8df67af3c7dbc8d62b | |
| parent | 00e5d9e9da89cef94810d9d6fdb5bea403269d8d [diff] |
Simplify the ui-out progress API I noticed that 'progress' is a method on ui-out, but it seems to me that it would be better if the only API were via the progress_meter class. This patch makes this change, changing progress to be a method on the meter itself.