summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar leino <unknown>2014-09-29 14:11:48 -0700
committerGravatar leino <unknown>2014-09-29 14:11:48 -0700
commit2a48cd240863649a0b0cd43ff44d2e6679d39349 (patch)
tree4e6e75f052dfd658d04c8198ab47801128dec284 /Source
parent962a78676767259bb40eb3e602974bd3c05a6589 (diff)
Shorter wait-for-idle time in the Dafny IDE
Diffstat (limited to 'Source')
-rw-r--r--Source/DafnyExtension/BufferIdleEventUtil.cs2
-rw-r--r--Source/DafnyExtension/ProgressMargin.cs2
2 files changed, 2 insertions, 2 deletions
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);