[gnome-builder: 1/2] gui: fix reload action in modified_revealer

[Christian Hergert <chergert src gnome org>]

commit 01dc116705304206755647d4234443d8e054d017
Author: Daniel Buch <boogiewasthere gmail com>
Date:   Mon Jan 14 13:20:13 2019 +0100

    gui: fix reload action in modified_revealer
    
    Action name of reload has changed to editor-page (from editor-view).
    While at it, also close revealer when reload is done.
    
    Fixes #756

 src/libide/editor/ide-editor-page-actions.c | 2 ++
 src/libide/editor/ide-editor-page.ui        | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/src/libide/editor/ide-editor-page-actions.c b/src/libide/editor/ide-editor-page-actions.c
index cff2d6e89..4d91b60db 100644
--- a/src/libide/editor/ide-editor-page-actions.c
+++ b/src/libide/editor/ide-editor-page-actions.c
@@ -60,6 +60,8 @@ ide_editor_page_actions_reload_cb (GObject      *object,
     {
       ide_editor_page_scroll_to_line (self, 0);
     }
+
+  gtk_revealer_set_reveal_child (self->modified_revealer, FALSE);
 }
 
 static void
diff --git a/src/libide/editor/ide-editor-page.ui b/src/libide/editor/ide-editor-page.ui
index f62c387c3..1306575bc 100644
--- a/src/libide/editor/ide-editor-page.ui
+++ b/src/libide/editor/ide-editor-page.ui
@@ -39,7 +39,7 @@
                     <property name="layout_style">end</property>
                     <child>
                       <object class="GtkButton">
-                        <property name="action-name">editor-view.reload</property>
+                        <property name="action-name">editor-page.reload</property>
                         <property name="label" translatable="yes">_Reload</property>
                         <property name="visible">true</property>
                         <property name="receives_default">true</property>