commit | 016c606c66ce4b98c220130b9046545b04254a4a | [log] [tgz] |
---|---|---|
author | Tom Tromey <tromey@adacore.com> | Mon Nov 28 14:05:05 2022 -0700 |
committer | Tom Tromey <tromey@adacore.com> | Wed Nov 30 07:12:38 2022 -0700 |
tree | 6038b987ae2109c812eb3f1a49097c9e59b83c00 | |
parent | 35254615ab38c37cf934b28982691f458d4c9948 [diff] |
Use ui_file_up in mi_interp This changes mi_interp to use ui_file_up rather than explicit management. Approved-By: Simon Marchi <simon.marchi@efficios.com>