diff options
| author | Cosimo Cecchi <cosimoc@gnome.org> | 2013-08-22 16:25:37 +0100 |
|---|---|---|
| committer | Jakub Steiner <jimmac@gmail.com> | 2013-08-23 13:47:32 +0200 |
| commit | 99f550fadb0b800cdd5ace7bf7ca38ba0bc58faa (patch) | |
| tree | 92f32102130d91b65ed7850d0f346bbfb2e2152e | |
| parent | 7acd518ca2b6067bc0aa7b2365961ba8c896af09 (diff) | |
| download | gnome-themes-standard-99f550fadb0b800cdd5ace7bf7ca38ba0bc58faa.tar.gz | |
csd: don't draw a border for automatic CSD titles added by GTK
For those we want to be consistent with the mutter theme we have
nowadays, so use the extra style class to distinguish that case, and
remove any border there.
https://bugzilla.gnome.org/show_bug.cgi?id=706418
| -rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index f833c508..7f71414e 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -4062,6 +4062,15 @@ GtkBubbleWindow .toolbar { border-radius: 7px 7px 0px 0px; } +/* this is the default titlebar that is added by GTK + * when client-side decorations are in use and the application + * did not set a custom titlebar. + */ +.titlebar.default-decoration { + border: none; + box-shadow: none; +} + .titlebar .title { font: Bold 11; } |