[meld/ui-next: 17/35] filediff: Map the source map container so we can e.g., hide it

[Kai Willadsen <kaiw src gnome org>]

commit 67fd8d3b61641dd825d66920ca64598cdce2941e
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Mon Jan 28 07:42:38 2019 +1000

    filediff: Map the source map container so we can e.g., hide it

 meld/filediff.py              | 1 +
 meld/resources/ui/filediff.ui | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/meld/filediff.py b/meld/filediff.py
index 503af240..19fc0c82 100644
--- a/meld/filediff.py
+++ b/meld/filediff.py
@@ -158,6 +158,7 @@ class FileDiff(Gtk.VBox, MeldDoc):
     scrolledwindow0 = Template.Child()
     scrolledwindow1 = Template.Child()
     scrolledwindow2 = Template.Child()
+    sourcemap_hbox = Template.Child()
     sourcemap0 = Template.Child()
     sourcemap1 = Template.Child()
     sourcemap2 = Template.Child()
diff --git a/meld/resources/ui/filediff.ui b/meld/resources/ui/filediff.ui
index 168079a1..f1e5b16d 100644
--- a/meld/resources/ui/filediff.ui
+++ b/meld/resources/ui/filediff.ui
@@ -606,7 +606,7 @@
           </packing>
         </child>
         <child>
-          <object class="GtkBox" id="sourcemap-hbox">
+          <object class="GtkBox" id="sourcemap_hbox">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="orientation">horizontal</property>