##// END OF EJS Templates
ui: give editor() a tag of its own...
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.
Simon Farnsworth -
r30980:60b5db2a default
Show More
Name Size Modified Last Commit Author
/ contrib / python-zstandard / zstd / dictBuilder
cover.c Loading ...
divsufsort.c Loading ...
divsufsort.h Loading ...
zdict.c Loading ...
zdict.h Loading ...