Verified Commit bcfe8828 authored by Nicholas Harvey's avatar Nicholas Harvey
Browse files

Fix switching pages doesn't focus the source view



This fixes #737
Signed-off-by: Nicholas Harvey's avatarNicholas Harvey <727-FrostyPenguin@users.noreply.gitlab.gnome.org>
parent 593a7c25
......@@ -303,8 +303,11 @@ ide_layout_stack_header_view_row_activated (GtkListBox *list_box,
view = g_object_get_data (G_OBJECT (row), "IDE_LAYOUT_VIEW");
if (stack != NULL && view != NULL)
ide_layout_stack_set_visible_child (IDE_LAYOUT_STACK (stack),
IDE_LAYOUT_VIEW (view));
{
ide_layout_stack_set_visible_child (IDE_LAYOUT_STACK (stack),
IDE_LAYOUT_VIEW (view));
gtk_widget_grab_focus (view);
}
_ide_layout_stack_header_popdown (self);
}
......
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