From 2a48cd240863649a0b0cd43ff44d2e6679d39349 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Mon, 29 Sep 2014 14:11:48 -0700
Subject: Shorter wait-for-idle time in the Dafny IDE

---
 Source/DafnyExtension/BufferIdleEventUtil.cs | 2 +-
 Source/DafnyExtension/ProgressMargin.cs      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/BufferIdleEventUtil.cs b/Source/DafnyExtension/BufferIdleEventUtil.cs
index 8a1ad0ed..5ab9df09 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(500)
+                    Interval = TimeSpan.FromMilliseconds(50)
                 };
 
                 timer.Tick += (s, e) =>
diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index c345257e..ae46befe 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -118,7 +118,7 @@ namespace DafnyLanguage
       _errorProvider = new ErrorListProvider(serviceProvider);
 
       timer = new DispatcherTimer(DispatcherPriority.ApplicationIdle);
-      timer.Interval = TimeSpan.FromMilliseconds(500);
+      timer.Interval = TimeSpan.FromMilliseconds(50);
       timer.Tick += new EventHandler(UponIdle);
 
       tagAggregator.TagsChanged += new EventHandler<TagsChangedEventArgs>(_aggregator_TagsChanged);
-- 
cgit v1.2.3