diff options
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);
|