diff options
author | Mike Krüger <mikkrg@microsoft.com> | 2018-07-02 12:42:28 +0300 |
---|---|---|
committer | Mike Krüger <mikkrg@microsoft.com> | 2018-07-03 06:48:14 +0300 |
commit | 95dafd3a3cfd42e8f6ebc8bf3454ccd968cdd2c8 (patch) | |
tree | 36e41f78c06de282565ddb4efadf8fed8e46d056 /main/src/core/Mono.TextEditor.Shared/Mono.TextEditor | |
parent | 3b671ed77cc89ac762dc73b2c96f6174db38dc0e (diff) |
Fixes issue #5160 Graphical glitching in the text editor.
That resets the line dash as well.
Diffstat (limited to 'main/src/core/Mono.TextEditor.Shared/Mono.TextEditor')
-rw-r--r-- | main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextSegmentMarker.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextSegmentMarker.cs b/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextSegmentMarker.cs index 39bba103f8..957ae2c619 100644 --- a/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextSegmentMarker.cs +++ b/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextSegmentMarker.cs @@ -196,11 +196,13 @@ namespace Mono.TextEditor Pango.CairoHelper.ShowErrorUnderline (cr, metrics.TextRenderStartPosition, y + editor.LineHeight - height, editor.Allocation.Width, height);
cr.ResetClip ();
break;
- case MonoDevelop.Ide.Editor.TextSegmentMarkerEffect.DottedLine:
+ case MonoDevelop.Ide.Editor.TextSegmentMarkerEffect.DottedLine: + cr.Save (); cr.MoveTo (@from, y + editor.LineHeight - editor.Options.Zoom - 0.5);
cr.LineTo (to, y + editor.LineHeight - editor.Options.Zoom - 0.5);
cr.SetDash (new double [] { 2 * editor.Options.Zoom, 2 * editor.Options.Zoom }, 0);
cr.Stroke ();
+ cr.Restore ();
break;
case MonoDevelop.Ide.Editor.TextSegmentMarkerEffect.Underline:
cr.MoveTo (@from, y + editor.LineHeight - editor.Options.Zoom - 0.5);
|