diff .editorconfig @ 42160:9e40c5892714

chistedit: use context manager to set verbose ui I'm still not exactly sure why this is necessary -- perhaps setting it unconditionally would leak this setting in chg invocations. Regardless, this would have looked very out of place as compared to how this setting is done everywhere else, so at least for the sake of style, let's be consistent with the rest of the codebase.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Tue, 16 Apr 2019 13:12:21 -0400
parents 1d6066336d7b
children c25efc468a49
line wrap: on
line diff