[gedit/wip/redesign2: 10/19] Remove uneeded tab border
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/wip/redesign2: 10/19] Remove uneeded tab border
- Date: Sun, 5 Jan 2014 15:11:03 +0000 (UTC)
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]