diff options
| author | Mike Krüger <mkrueger@xamarin.com> | 2016-04-11 17:28:17 +0300 |
|---|---|---|
| committer | Mike Krüger <mkrueger@xamarin.com> | 2016-04-11 17:28:17 +0300 |
| commit | 316d5ae07709ffe415f1d1527f9c230de3098755 (patch) | |
| tree | cc1037b7e8249bb822495edc17351e292b4ad4f2 /main/src/core/Mono.Texteditor | |
| parent | d0f7c27d379de384e35b1770af85fda278cdb4c0 (diff) | |
[CSharpBindig] Fixed nav text editor extension.
Diffstat (limited to 'main/src/core/Mono.Texteditor')
| -rw-r--r-- | main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs b/main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs index fc3c93dfab..9b6f9cccee 100644 --- a/main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs +++ b/main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs @@ -1180,7 +1180,13 @@ namespace Mono.TextEditor public void WaitForFoldUpdateFinished () { if (foldSegmentTask != null) { - foldSegmentTask.Wait (5000); + try { + foldSegmentTask.Wait (5000); + } catch (AggregateException e) { + e.Flatten ().Handle (x => x is OperationCanceledException); + } catch (OperationCanceledException) { + + } foldSegmentTask = null; } } |