Commit 01dc1167 authored by Daniel Buch Hansen's avatar Daniel Buch Hansen Committed by Christian Hergert
Browse files

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
parent 7beccc18
......@@ -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
......@@ -39,7 +39,7 @@
<property name="layout_style">end</property>
<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>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment