From 73a746604eaf4a1f8df2031785864995630548d6 Mon Sep 17 00:00:00 2001
From: Dustin Falgout <dustin@falgout.us>
Date: Sun, 10 Apr 2016 08:09:20 -0500
Subject: [PATCH] fix gedit style issues. fixes #312
---
gtk-3.20/scss/apps/_gedit.scss | 10 ++++++++++
gtk-3.20/scss/widgets/_menu.scss | 9 +++++++--
gtk-3.20/scss/widgets/_view.scss | 6 +++---
3 files changed, 20 insertions(+), 5 deletions(-)
diff --git a/gtk-3.20/scss/apps/_gedit.scss b/gtk-3.20/scss/apps/_gedit.scss
index d56f999..156996b 100644
--- a/gtk-3.20/scss/apps/_gedit.scss
+++ b/gtk-3.20/scss/apps/_gedit.scss
@@ -129,4 +129,14 @@
padding: $spacing / 2;
color: mix($text_color, $base_color, .5);
}
+
+ .gedit-bottom-panel-paned,
+ .gedit-side-panel-paned,
+ paned.titlebar {
+ margin-right: 0px;
+ }
+
+ .gedit-bottom-panel-paned notebook {
+ border-top: none;
+ }
}
diff --git a/gtk-3.20/scss/widgets/_menu.scss b/gtk-3.20/scss/widgets/_menu.scss
index cd863de..244c44c 100755
--- a/gtk-3.20/scss/widgets/_menu.scss
+++ b/gtk-3.20/scss/widgets/_menu.scss
@@ -53,10 +53,15 @@
&:selected { background-color: $selected_bg_color; }
+ // A little hack to get some extra space above/below menuitem separators
separator {
- padding: 0;
border-style: none;
- background-color: shade($menu_bg_color, ($contrast + .1));
+ background-color: transparent;
+ min-height: 5px;
+ border-bottom-style: solid;
+ border-bottom-width: 1px;
+ border-bottom-color: shade($menu_bg_color, ($contrast + .1));
+ padding: 0;
}
menuitem {
diff --git a/gtk-3.20/scss/widgets/_view.scss b/gtk-3.20/scss/widgets/_view.scss
index 5fc50e0..f0aa5c5 100644
--- a/gtk-3.20/scss/widgets/_view.scss
+++ b/gtk-3.20/scss/widgets/_view.scss
@@ -91,8 +91,8 @@
-GtkTreeView-tree-line-width: 1;
-GtkTreeView-tree-line-pattern: '';
- border-left-color: mix($fg_color, $base_color, .5); // this is actually the tree lines color,
- border-top-color: $bg_color; // while this is the grid lines color, better then nothing
+ border-left-color: mix($dark_bg_color, $base_color, .2); // this is actually the tree lines color,
+ border-top-color: mix($dark_bg_color, $base_color, .2); // while this is the grid lines color, better then nothing
rubberband { @extend rubberband; } // to avoid borders being overridden by the previously set props
@@ -280,7 +280,7 @@
************/
@include exports("separator") {
- .view.separator, .separator {
+ view separator, separator {
color: shade($bg_color, ($contrast + .1));
border: 1px solid currentColor;
}