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/DafnyExtension/BufferIdleEventUtil.cs | |
parent | 962a78676767259bb40eb3e602974bd3c05a6589 (diff) |
Shorter wait-for-idle time in the Dafny IDE
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 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) =>
|