diff options
author | qunyanm <unknown> | 2016-01-20 16:25:46 -0800 |
---|---|---|
committer | qunyanm <unknown> | 2016-01-20 16:25:46 -0800 |
commit | 8f244896640bae196070aa8b2bfe0b2f0be24e2a (patch) | |
tree | 836eb46383a2f4d49cfd7762d3ad25b8eee8b03b /Test | |
parent | b1b2e4973487cd9fed17ab3b0add8852fd708ad9 (diff) |
VS IDE performance - invoke dafny parser when the buffer hasn't changed for
half a second, but delay calling Dafny resolver until the text buffer hasn't
been changed for 5 seconds. Also save the parsing result from TokenTagger in
ITextBuffer's property instead of in a static field.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions