Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVsevolod Kukol <sevoku@xamarin.com>2015-11-26 11:22:34 +0300
committerVsevolod Kukol <sevoku@xamarin.com>2015-11-26 11:22:34 +0300
commit1a913e5f7e213e0261ce3cd50194f16b4912b4e1 (patch)
tree3c60463dd79c7461f06976263b242279719bdf69 /main/src/core/MonoDevelop.Ide
parent306e0a8f4c71687f22d0c0f95789a4302982e2b1 (diff)
[Ide][Mac] Fix checkbox style
The checkbox/optionbox style must be based on default, otherwise the selected/prelight text colors are wrong. (cherry picked from commit 510b32856179897f5aa8830b504af04fe53d3aaa)
Diffstat (limited to 'main/src/core/MonoDevelop.Ide')
-rw-r--r--main/src/core/MonoDevelop.Ide/gtkrc.mac2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/src/core/MonoDevelop.Ide/gtkrc.mac b/main/src/core/MonoDevelop.Ide/gtkrc.mac
index 6d6fced496..65be7377bb 100644
--- a/main/src/core/MonoDevelop.Ide/gtkrc.mac
+++ b/main/src/core/MonoDevelop.Ide/gtkrc.mac
@@ -288,7 +288,7 @@ style "notebook" = "default"
}
}
-style "radio-or-check-box"
+style "radio-or-check-box" = "default"
{
ythickness = 6
GtkCheckButton::indicator-size = 14