diff options
author | Vsevolod Kukol <sevoku@xamarin.com> | 2015-12-21 16:46:32 +0300 |
---|---|---|
committer | Vsevolod Kukol <sevoku@xamarin.com> | 2015-12-21 16:46:32 +0300 |
commit | 9f8b65f5f5249f3cc144f042f7b726b6fe11959c (patch) | |
tree | 9a3bd209f92957f6826415f8295d473175a86958 /main | |
parent | 6cf90a3902e792ddbb94c17c238cedbfbfe4dcbb (diff) |
[Ide][Win] No completion tooltip offset
Diffstat (limited to 'main')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Styles.cs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Styles.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Styles.cs index 95c48ac9ee..247eded7fa 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Styles.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/Styles.cs @@ -169,7 +169,7 @@ namespace MonoDevelop.Ide.Gui // Code Completion - public static readonly int TooltipInfoSpacing = -4; + public static readonly int TooltipInfoSpacing; // Popover Windows @@ -301,6 +301,14 @@ namespace MonoDevelop.Ide.Gui return IncreaseLight (color.ToCairoColor (), factor).ToGdkColor (); } + static Styles () + { + if (Core.Platform.IsWindows) + TooltipInfoSpacing = 0; + else + TooltipInfoSpacing = -5; + } + internal static void LoadStyle () { var defaultStyle = Gtk.Rc.GetStyle (IdeApp.Workbench.RootWindow); |