diff options
| author | Jean-Philippe Fleury <contact@jpfleury.net> | 2014-10-01 03:43:59 -0400 |
|---|---|---|
| committer | Jean-Philippe Fleury <contact@jpfleury.net> | 2014-10-01 03:43:59 -0400 |
| commit | f367acf9668b68db0cf1ac34d343275b105b9a05 (patch) | |
| tree | e2c5a479f13683dc11596c155ad8130e8db98bef | |
| parent | d87e459aad4456e9125d3c2cd1d4d7ee649ef72e (diff) | |
Ensuring dashed borders for focused elements (as in previous versions)
| -rw-r--r-- | gtk-3.0/gtk-widgets.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gtk-3.0/gtk-widgets.css b/gtk-3.0/gtk-widgets.css index bb84962..35ff51a 100644 --- a/gtk-3.0/gtk-widgets.css +++ b/gtk-3.0/gtk-widgets.css @@ -31,6 +31,12 @@ -GtkWidget-focus-padding: 2; -GtkWidget-focus-line-width: 1; + outline-color: @focus_border_color; + outline-style: dashed; + outline-offset: -2px; + outline-width: 1px; + outline-radius: 2px; + -GtkWindow-resize-grip-width: 11; -GtkWindow-resize-grip-height: 11; } |