diff options
author | Vsevolod Kukol <sevoku@microsoft.com> | 2018-02-22 12:58:46 +0300 |
---|---|---|
committer | Vsevolod Kukol <sevoku@microsoft.com> | 2018-02-22 12:58:46 +0300 |
commit | 96c8ddccc6cf4bc64455efb42c3f9089ca2ff36d (patch) | |
tree | d25a2f7f03e1694aff31fac3623fd17264c5ff02 | |
parent | 5ab63a33674b85f58daf15c091d29677cc90a7ba (diff) |
[Ide] Fix DocumentToolbar checkbox stylestructured-build-output-height
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DocumentToolbar.cs | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DocumentToolbar.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DocumentToolbar.cs index d7bf1140ab..1046b10aac 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DocumentToolbar.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui/DocumentToolbar.cs @@ -118,8 +118,15 @@ namespace MonoDevelop.Ide.Gui void ChangeColor (Gtk.Widget w) { w.Realized += delegate { - w.ModifyText (StateType.Normal, Styles.BreadcrumbTextColor.ToGdkColor ()); - w.ModifyFg (StateType.Normal, Styles.BreadcrumbTextColor.ToGdkColor ()); + var textColor = Styles.BreadcrumbTextColor.ToGdkColor (); + if (Core.Platform.IsMac && w is CheckButton) { + // the Gtk.CheckButton Text color is the color of the check mark + // and the Fg color is used for the label. + w.ModifyFg (StateType.Prelight, textColor); + w.ModifyFg (StateType.Active, textColor); + } else + w.ModifyText (StateType.Normal, textColor); + w.ModifyFg (StateType.Normal, textColor); }; if (w is Gtk.Container) { foreach (var c in ((Gtk.Container)w).Children) |