[PATCH] chistedit: use context manager to set verbose ui

[Yuya Nishihara]

On Tue, 16 Apr 2019 13:13:45 -0400, Jordi Gutiérrez Hermoso wrote:
> # HG changeset patch
> # User Jordi Gutiérrez Hermoso <jordigh at octave.org>
> # Date 1555434741 14400
> #      Tue Apr 16 13:12:21 2019 -0400
> # Node ID f64bbdc70aaa1ca8c504c2d909f6012927a27cb8
> # Parent  a362b0b95e42c8f7d46d7e3a0eb4cc531fa5f2d6
> chistedit: use context manager to set verbose ui

Queued, thanks.

> I'm still not exactly sure why this is necessary -- perhaps setting it
> unconditionally would leak this setting in chg invocations.

No in chg, but that could theoretically happen in a single-process
commandserver.