diff options
| author | David Karlaš <david.karlas@xamarin.com> | 2017-08-02 14:25:55 +0300 |
|---|---|---|
| committer | David Karlaš <david.karlas@xamarin.com> | 2017-08-02 14:25:55 +0300 |
| commit | abc5e2ac4904630d79c60ed8df489c53013b5a38 (patch) | |
| tree | f930124a4cb5dc0ff74607ad7be8994d57219ef5 /main | |
| parent | a248babceae6de94a60a8a098cbaaa9858863b34 (diff) | |
[Debugger] Fix debug value popup cut off at edge of screen
Fixed value of 10 was set before retina displays, hence making it 20 fixes problem of cut off popup at edge of screen
Diffstat (limited to 'main')
| -rw-r--r-- | main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/DebugValueWindow.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/DebugValueWindow.cs b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/DebugValueWindow.cs index cccd480180..3a992d8567 100644 --- a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/DebugValueWindow.cs +++ b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/DebugValueWindow.cs @@ -168,7 +168,7 @@ namespace MonoDevelop.SourceEditor if (dy > 0 && sw.VscrollbarPolicy == PolicyType.Never) { sw.VscrollbarPolicy = PolicyType.Always; - sw.HeightRequest = h - dy - 10; + sw.HeightRequest = h - dy - 20; } else if (sw.VscrollbarPolicy == PolicyType.Always && sw.Vadjustment.Upper == sw.Vadjustment.PageSize) { sw.VscrollbarPolicy = PolicyType.Never; sw.HeightRequest = -1; @@ -176,7 +176,7 @@ namespace MonoDevelop.SourceEditor if (dx > 0 && sw.HscrollbarPolicy == PolicyType.Never) { sw.HscrollbarPolicy = PolicyType.Always; - sw.WidthRequest = w - dx - 10; + sw.WidthRequest = w - dx - 20; } else if (sw.HscrollbarPolicy == PolicyType.Always && sw.Hadjustment.Upper == sw.Hadjustment.PageSize) { sw.HscrollbarPolicy = PolicyType.Never; sw.WidthRequest = -1; |