[gedit/wip/redesign2: 10/19] Remove uneeded tab border



commit c842a4a73c512280f36b18b960513245f8202128
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Jan 3 10:53:46 2014 +0100

    Remove uneeded tab border

 gedit/gedit-style.css |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-style.css b/gedit/gedit-style.css
index ffb8b09..dca1dd6 100644
--- a/gedit/gedit-style.css
+++ b/gedit/gedit-style.css
@@ -7,3 +7,11 @@
 .gedit-titlebar-left:dir(rtl) {
     border-top-left-radius: 0;
 }
+
+.notebook:dir(ltr) tab {
+    border-left: 0;
+}
+
+.notebook:dir(rtl) tab {
+    border-right: 0;
+}


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]