Ok, then modifying accordingly to the change in the shape of the widgets tree, this does fix the bug for me:
diff --git a/src/sidebar.c b/src/sidebar.c
index 9d004f392..9885c6b7e 100644
--- a/src/sidebar.c
+++ b/src/sidebar.c
@@ -1649,10 +1649,15 @@ void sidebar_focus_symbols_tab(void)
if (ui_prefs.sidebar_visible && interface_prefs.sidebar_symbol_visible)
{
GtkNotebook *notebook = GTK_NOTEBOOK(main_widgets.sidebar_notebook);
- GtkWidget *symbol_list_scrollwin = gtk_notebook_get_nth_page(notebook, TREEVIEW_SYMBOL);
-
gtk_notebook_set_current_page(notebook, TREEVIEW_SYMBOL);
- gtk_widget_grab_focus(gtk_bin_get_child(GTK_BIN(symbol_list_scrollwin)));
+ GtkWidget *vbox = gtk_notebook_get_nth_page(notebook, TREEVIEW_SYMBOL);
+ GList *vbox_children = gtk_container_get_children(GTK_CONTAINER(vbox));
+ GtkWidget *scrollwin = g_list_nth_data(vbox_children, 1);
+ GList *scrollwin_children = gtk_container_get_children(GTK_CONTAINER(scrollwin));
+ GtkWidget *tree_symbols = g_list_nth_data(scrollwin_children, 0);
+ gtk_widget_grab_focus(tree_symbols);
+ g_list_free(scrollwin_children);
+ g_list_free(vbox_children);
}
}
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.