Fix some VS IDE performance issues.

- cache scan results so it can be shared between different instances of
  DafnyTokenTagger
- Instead of rescanning the whole text buffer upon a text change, only rescan
  the text span that the text change is in.
- set the timer to half a second to match the comment at the beginnig of
  the file. The event change are only passed along to Dafny when the user stop
  typing for half a second.
- Change framework dependence so the project can work with version 4.5 and
  higher.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyExtension/source.extension.vsixmanifest b/Source/DafnyExtension/source.extension.vsixmanifest
index 66e4deda..a3987456 100644
--- a/Source/DafnyExtension/source.extension.vsixmanifest
+++ b/Source/DafnyExtension/source.extension.vsixmanifest
@@ -11,7 +11,7 @@
     <InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />

   </Installation>

   <Dependencies>

-    <Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="4.5" />

+    <Dependency Id="Microsoft.Framework.NDP" DisplayName="Microsoft .NET Framework" d:Source="Manual" Version="[4.5,]" />

     <Dependency Id="Microsoft.VisualStudio.MPF.11.0" DisplayName="Visual Studio MPF 11.0" d:Source="Installed" Version="11.0" />

   </Dependencies>

   <Assets>