[meld/ui-next: 21/35] filediff: Improve the visual separation of the sourcemap
- From: Kai Willadsen <kaiw src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [meld/ui-next: 21/35] filediff: Improve the visual separation of the sourcemap
- Date: Sat, 16 Feb 2019 21:45:33 +0000 (UTC)
commit ff5615d814f4258c1233af1fc5529d06e83f2b5d
Author: Kai Willadsen <kai willadsen gmail com>
Date: Mon Jan 28 11:19:42 2019 +1000
filediff: Improve the visual separation of the sourcemap
data/meld.css | 7 +++++++
meld/resources/ui/filediff.ui | 3 +++
2 files changed, 10 insertions(+)
---
diff --git a/data/meld.css b/data/meld.css
index 7a299939..a027d79d 100644
--- a/data/meld.css
+++ b/data/meld.css
@@ -46,3 +46,10 @@ action-gutter {
background-image: none;
background-color: rgb(237, 54, 54);
}
+
+.sourcemap-container {
+ border-width: 0 0 0 1px;
+ border-style: solid;
+ border-color: @borders;
+ padding: 0 2px;
+}
diff --git a/meld/resources/ui/filediff.ui b/meld/resources/ui/filediff.ui
index 8f7c4f84..8be339b6 100644
--- a/meld/resources/ui/filediff.ui
+++ b/meld/resources/ui/filediff.ui
@@ -630,6 +630,9 @@
<property name="can_focus">False</property>
<property name="orientation">horizontal</property>
<property name="spacing">2</property>
+ <style>
+ <class name="sourcemap-container"/>
+ </style>
<child>
<object class="MeldSourceMap" id="sourcemap0">
<property name="view">textview0</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]