diff options
| author |  leino <unknown> | 2014-09-29 14:11:48 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-09-29 14:11:48 -0700 |
| commit | 2a48cd240863649a0b0cd43ff44d2e6679d39349 (patch) | |
| tree | 4e6e75f052dfd658d04c8198ab47801128dec284 /Source | |
| parent | 962a78676767259bb40eb3e602974bd3c05a6589 (diff) | |
Shorter wait-for-idle time in the Dafny IDE
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/DafnyExtension/BufferIdleEventUtil.cs | 2 | ||||
| -rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 2 |
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);
|