comparison .editorconfig @ 30980:60b5db2ab586

ui: give editor() a tag of its own We know that calls to ui.editor() always block on the user's configured editor. Use a blocking tag that ensures that we don't see a huge variety of editor options in our logging.
author Simon Farnsworth <simonfar@fb.com>
date Wed, 15 Feb 2017 13:38:00 -0800
parents d30fdd6d1bf7
children 1d6066336d7b
comparison
equal deleted inserted replaced
30979:fd598149112b 30980:60b5db2ab586