This repository was archived by the owner on Oct 4, 2021. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +11
-10
lines changed
main/src/core/MonoDevelop.Ide Expand file tree Collapse file tree 2 files changed +11
-10
lines changed Original file line number Diff line number Diff line change @@ -19,7 +19,8 @@ selected_bg_color: #2862d9
1919selected_fg_color: #fff
2020tooltip_bg_color: #f2f2f2
2121tooltip_fg_color: #272727
22- tooltip_border_color: #b2b2b2"
22+ tooltip_border_color: #b2b2b2
23+ focus_ring_color: #8eaff0"
2324
2425gtk-button-images = 0
2526gtk-menu-images = 0
@@ -136,7 +137,7 @@ style "wider" = "default" {
136137}
137138
138139style "button" = "default" {
139- xthickness = 2
140+ xthickness = 4
140141 ythickness = 4
141142
142143 font_name = "-apple-system-font 12"
@@ -145,13 +146,14 @@ style "button" = "default" {
145146 bg[PRELIGHT] = @base_color # Mac buttons have no hover state
146147
147148 GtkWidget::focus-padding = 0
148- GtkWidget::focus-line-width = 1
149+ GtkWidget::focus-line-width = 2
149150
150151 engine "xamarin" {
151152 border_shades = {1.4, 1.3}
152153 rgba = FALSE
153154 contrast = 1.0
154- focus_color = shade(0.6, @bg_color)
155+ focus_color = @focus_ring_color
156+ focusstyle = 3
155157 textstyle = 0
156158 highlight_shade = 1.0
157159 lightborder_shade = 1.0
@@ -172,7 +174,6 @@ style "toggle-button" = "button" {
172174 engine "xamarin" {
173175 rgba = FALSE
174176 contrast = 1.0
175- focus_color = shade(0.6, @bg_color)
176177 textstyle = 1
177178 }
178179}
Original file line number Diff line number Diff line change @@ -19,7 +19,8 @@ selected_bg_color: #2257c9
1919selected_fg_color: #fff
2020tooltip_bg_color: #5a5a5a
2121tooltip_fg_color: #d2d5cd
22- tooltip_border_color: #b2b2b2"
22+ tooltip_border_color: #b2b2b2
23+ focus_ring_color: #45739e"
2324
2425gtk-button-images = 0
2526gtk-menu-images = 0
@@ -137,7 +138,7 @@ style "wider" = "default" {
137138}
138139
139140style "button" = "default" {
140- xthickness = 2
141+ xthickness = 4
141142 ythickness = 4
142143
143144 font_name = "-apple-system-font 12"
@@ -154,12 +155,12 @@ style "button" = "default" {
154155
155156 GtkWidget::draw-border = { 1, 1, 1, 1 }
156157 GtkWidget::focus-padding = 0
157- GtkWidget::focus-line-width = 1
158+ GtkWidget::focus-line-width = 2
158159
159160 engine "xamarin" {
160161 rgba = FALSE
161162 contrast = 1.0
162- focus_color = shade(1.4, @bg_color)
163+ focus_color = @focus_ring_color
163164 focusstyle = 3
164165 textstyle = 0
165166 highlight_shade = 1.0
@@ -185,7 +186,6 @@ style "toggle-button" = "button" {
185186 rgba = FALSE
186187 contrast = 1.0
187188 gradient_shades = {0.96, 0.918, 0.926, 0.858}
188- focus_color = shade(0.6, @bg_color)
189189 textstyle = 1
190190 }
191191}
You can’t perform that action at this time.
0 commit comments