diff options
| author | Lluis Sanchez <lluis@xamarin.com> | 2014-01-20 19:32:53 +0400 |
|---|---|---|
| committer | Lluis Sanchez Gual <lluis@xamarin.com> | 2014-10-21 18:39:14 +0400 |
| commit | f73b2a9990495587d514aa1856919c21170a3940 (patch) | |
| tree | 9842411ee8644ead5915a715ee7e53984a601df4 /main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs | |
| parent | a2046b6331a271e8203df7d3d0f14500d33d60fa (diff) | |
Initial drop of the new project model
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs')
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs index b5f4de70e1..9f8890bda6 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/PopoverWindow.cs @@ -230,6 +230,9 @@ namespace MonoDevelop.Components var screen = parent.Screen; Gdk.Rectangle geometry = GtkWorkarounds.GetUsableMonitorGeometry (screen, screen.GetMonitorAtPoint (x, y)); + // Add some spacing between the screen border and the popover window + geometry.Inflate (-5, -5); + // Flip the orientation if the window doesn't fit the screen. int intPos = (int) position; |