[meld/ui-next: 21/35] filediff: Improve the visual separation of the sourcemap



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]