diff options
Diffstat (limited to 'Source/DafnyExtension/BufferIdleEventUtil.cs')
-rw-r--r-- | Source/DafnyExtension/BufferIdleEventUtil.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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) =>
|