##// 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 / c-ext
compressiondict.c Loading ...
compressionparams.c Loading ...
compressionwriter.c Loading ...
compressobj.c Loading ...
compressor.c Loading ...
compressoriterator.c Loading ...
constants.c Loading ...
decompressionwriter.c Loading ...
decompressobj.c Loading ...
decompressor.c Loading ...
decompressoriterator.c Loading ...
dictparams.c Loading ...
frameparams.c Loading ...
python-zstandard.h Loading ...