diff options
author | Mike Krüger <mkrueger@xamarin.com> | 2011-11-25 17:31:26 +0400 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2011-11-25 17:31:58 +0400 |
commit | 2bd163987ccc1d712cf767075a6a0fa57b4984f1 (patch) | |
tree | e6a328df6aef7cd32ca42eb86fa8c6c04f92bcb7 | |
parent | b2068b38d2ee8914dda662e4a2b55920469d50fa (diff) |
Fixed 'Bug 1720 - Right edge of selection is fuzzy'.
-rw-r--r-- | main/src/core/Mono.Texteditor/Mono.TextEditor/TextViewMargin.cs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/main/src/core/Mono.Texteditor/Mono.TextEditor/TextViewMargin.cs b/main/src/core/Mono.Texteditor/Mono.TextEditor/TextViewMargin.cs index 32abc0088a..405f3a5f42 100644 --- a/main/src/core/Mono.Texteditor/Mono.TextEditor/TextViewMargin.cs +++ b/main/src/core/Mono.Texteditor/Mono.TextEditor/TextViewMargin.cs @@ -1972,11 +1972,12 @@ namespace Mono.TextEditor double xp = System.Math.Floor (area.X); if (textEditor.Options.ShowRuler) { - double divider = System.Math.Max (xp, System.Math.Min (x + TextStartPosition + rulerX + 0.5, xp + area.Width)); + double divider = System.Math.Max (area.X, System.Math.Min (x + TextStartPosition + rulerX + 0.5, area.X + area.Width)); if (divider < area.X + area.Width) { - cr.Rectangle (xp, area.Y, divider - xp, area.Height); + cr.Rectangle (xp, area.Y, divider - area.X, area.Height); cr.Fill (); - cr.Rectangle (divider, area.Y, xp + area.Width - divider + 1, area.Height); + + cr.Rectangle (divider, area.Y, area.X + area.Width - divider, area.Height); cr.Color = DimColor (color); cr.Fill (); cr.DrawLine (ColorStyle.Ruler, divider, area.Y, divider, area.Y + area.Height); |