Fix title-bar padding in gnome-builder. Fixes #605

2016-10-20 21:49:56 +02:00 · 2016-10-20 21:49:56 +02:00 · f14b4d439e
parent 690532bd4e
commit f14b4d439e
1 changed files with 18 additions and 0 deletions
--- a/src/gtk-3.20/scss/apps/_gnome-applications.scss
+++ b/src/gtk-3.20/scss/apps/_gnome-applications.scss
@ -11,3 +11,21 @@
        &.progress-fast { color: shade($selected_bg_color, .7); }
    }
 }
+
+
+/*****************
+ ! Gnome Builder *
+******************/
+
+@include exports("gnome-builder") {
+    workbench.csd > stack.titlebar:not(headerbar) {
+        padding: 0;
+        background: none;
+        border: 0;
+        box-shadow: none;
+
+        headerbar {
+            &, &:first-child, &:last-child { border-radius: $roundness $roundness 0 0; }
+        }
+    }
+}