diff options
author | Lapo Calamandrei <calamandrei@gmail.com> | 2014-06-12 01:04:30 +0200 |
---|---|---|
committer | Lapo Calamandrei <calamandrei@gmail.com> | 2014-06-12 01:04:30 +0200 |
commit | 99361bb3e9c2166e70a778302a3226d256fbd8e3 (patch) | |
tree | fc16fcf4f92dade63e7877830809b704bbbaa492 | |
parent | 3481380b78719901f171680de10f96abe559d390 (diff) |
button shrinking issue workaround
-rw-r--r-- | themes/Adwaita/gtk-3.0/_common.scss | 5 | ||||
-rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-contained-dark.css | 2 | ||||
-rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-contained.css | 2 |
3 files changed, 9 insertions, 0 deletions
diff --git a/themes/Adwaita/gtk-3.0/_common.scss b/themes/Adwaita/gtk-3.0/_common.scss index d9aa6b99..be772738 100644 --- a/themes/Adwaita/gtk-3.0/_common.scss +++ b/themes/Adwaita/gtk-3.0/_common.scss @@ -40,6 +40,11 @@ -GtkDialog-button-spacing: 0; -GtkDialog-action-area-border: 0; + // Those two are to fix buttons shrinking issue, remove them if things + // gets properly fixed in the code + -GtkButton-default-outside-border: 1; + -GtkButton-default-border: 1; + // We use the outline properties to signal the focus properties // to the adwaita engine: using real CSS properties is faster, // and we don't use any outlines for now. diff --git a/themes/Adwaita/gtk-3.0/gtk-contained-dark.css b/themes/Adwaita/gtk-3.0/gtk-contained-dark.css index 35e8710c..d4eb7676 100644 --- a/themes/Adwaita/gtk-3.0/gtk-contained-dark.css +++ b/themes/Adwaita/gtk-3.0/gtk-contained-dark.css @@ -53,6 +53,8 @@ -GtkWindow-resize-grip-height: 0; -GtkDialog-button-spacing: 0; -GtkDialog-action-area-border: 0; + -GtkButton-default-outside-border: 1; + -GtkButton-default-border: 1; outline-color: rgba(238, 238, 236, 0.3); outline-style: dashed; outline-offset: -3px; diff --git a/themes/Adwaita/gtk-3.0/gtk-contained.css b/themes/Adwaita/gtk-3.0/gtk-contained.css index 5e359b4f..d64b3558 100644 --- a/themes/Adwaita/gtk-3.0/gtk-contained.css +++ b/themes/Adwaita/gtk-3.0/gtk-contained.css @@ -53,6 +53,8 @@ -GtkWindow-resize-grip-height: 0; -GtkDialog-button-spacing: 0; -GtkDialog-action-area-border: 0; + -GtkButton-default-outside-border: 1; + -GtkButton-default-border: 1; outline-color: rgba(46, 52, 54, 0.3); outline-style: dashed; outline-offset: -3px; |