diff options
author | Vsevolod Kukol <sevoku@xamarin.com> | 2016-03-25 22:04:13 +0300 |
---|---|---|
committer | Vsevolod Kukol <sevoku@xamarin.com> | 2016-03-25 22:06:11 +0300 |
commit | 4d5b56eddfa0fe4c34b000167a7095dfeba9e093 (patch) | |
tree | 1a5642332850b5a2d9ab17641b9fdf0d9afce39b /main/src/core/MonoDevelop.Ide/gtkrc.win32-dark | |
parent | ce4372d19d47b0c91a894ed26cd06c0f28ee079f (diff) |
[Ide][Win] Smaller arrows in menus
(requires https://github.com/mono/xamarin-gtk-theme/pull/26)
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/gtkrc.win32-dark')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/gtkrc.win32-dark | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/gtkrc.win32-dark b/main/src/core/MonoDevelop.Ide/gtkrc.win32-dark index 1301643f58..6c1dfa887a 100644 --- a/main/src/core/MonoDevelop.Ide/gtkrc.win32-dark +++ b/main/src/core/MonoDevelop.Ide/gtkrc.win32-dark @@ -181,6 +181,7 @@ style "menubar" = "default" { style "menu-item" = "menu" { xthickness = 2 ythickness = 3 + GtkMenuItem::arrow-scaling = 0.35 engine "xamarin" { arrowstyle = 3 |