diff options
| author | Laurențiu Nicola <lnicola@dend.ro> | 2020-09-18 22:15:44 +0300 |
|---|---|---|
| committer | Laurențiu Nicola <lnicola@dend.ro> | 2020-09-18 22:15:44 +0300 |
| commit | 5a0bad77543f9bf6df84e6c96b903683f8d23a5e (patch) | |
| tree | 2e69edfa37d63364ca74d909d1288f1354b79cfe /editors/code/src | |
| parent | c217bc561f6458f8f9f1133e25635ba32e71e7db (diff) | |
| download | rust-5a0bad77543f9bf6df84e6c96b903683f8d23a5e.tar.gz rust-5a0bad77543f9bf6df84e6c96b903683f8d23a5e.zip | |
Don't re-read open files from disk when reloading a workspace
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions