ShowWidget: Retain vertical scrolling adjustment upon view refresh.

2018-01-04 23:43:31 +02:00
parent 112b61d39e
commit 8ad5bf6f09
4 changed files with 42 additions and 6 deletions
@@ -7,7 +7,8 @@
    <property name="can_focus">False</property>
    <property name="orientation">vertical</property>
    <child>
-      <object class="GtkScrolledWindow">
+      <object class="GtkScrolledWindow" id="scrolled_window">
+        <property name="name">scrolled_window</property>
        <property name="visible">True</property>
        <property name="can_focus">True</property>
        <property name="shadow_type">in</property>