diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2015-12-10 09:29:36 -0500 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2015-12-10 09:29:36 -0500 |
| commit | 1cc6940c42c52ba9652e3f8f049f6671de6d89a7 (patch) | |
| tree | 4062c2cfc69d5f8fd85caaa973789b29adf860cf /scripts | |
| parent | 15887b8ac36d6c4032dde44981cc10bf5c0708cb (diff) | |
| download | textadept-1cc6940c42c52ba9652e3f8f049f6671de6d89a7.tar.gz textadept-1cc6940c42c52ba9652e3f8f049f6671de6d89a7.zip | |
Do not visit buffers that do not need saving in `io.save_all_files()`.
This speeds up `io.save_all_files()`, particularly on remote filesystems.
Thanks to Ivan Baidakou.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions