aboutsummaryrefslogtreecommitdiff
path: root/crates/ide
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-09-18 22:29:47 +0100
committerGitHub <[email protected]>2020-09-18 22:29:47 +0100
commitfb1b0a4bff2ae1bc78ea10120a5a0de7039c63d2 (patch)
tree28bac91b1e0789db85774270f85974dad6011981 /crates/ide
parente49a0677adc6afe090b8fac04ae8e2b8f9f2e631 (diff)
parent5a0bad77543f9bf6df84e6c96b903683f8d23a5e (diff)
Merge #6036
6036: Don't re-read open files from disk when reloading a workspace r=kjeremy a=lnicola Fixes #5742 Fixes #4263 or so I hope. Co-authored-by: LaurenČ›iu Nicola <[email protected]>
Diffstat (limited to 'crates/ide')
0 files changed, 0 insertions, 0 deletions