From 817d28da901dc8d285c8e7f86f25496093fd6af2 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Wed, 6 Jan 2016 11:49:34 -0800
Subject: 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.

---
 Source/DafnyExtension/BufferIdleEventUtil.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyExtension/BufferIdleEventUtil.cs')

diff --git a/Source/DafnyExtension/BufferIdleEventUtil.cs b/Source/DafnyExtension/BufferIdleEventUtil.cs
index 5ab9df09..8a1ad0ed 100644
--- a/Source/DafnyExtension/BufferIdleEventUtil.cs
+++ b/Source/DafnyExtension/BufferIdleEventUtil.cs
@@ -120,7 +120,7 @@ namespace DafnyLanguage
             {
                 timer = new DispatcherTimer(DispatcherPriority.ApplicationIdle)
                 {
-                    Interval = TimeSpan.FromMilliseconds(50)
+                    Interval = TimeSpan.FromMilliseconds(500)
                 };
 
                 timer.Tick += (s, e) =>
-- 
cgit v1.2.3