[gnome-builder] plugins/symbol-tree: clear menu when document changes

[Christian Hergert <chergert src gnome org>]

commit f33648eba5e382e8435892524542d23c0a9ee12e
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jul 19 14:28:01 2022 -0700

    plugins/symbol-tree: clear menu when document changes
    
    This just helps ensure that we don't have a lingering model around after
    changing the page.

 src/plugins/symbol-tree/gbp-symbol-workspace-addin.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/symbol-tree/gbp-symbol-workspace-addin.c 
b/src/plugins/symbol-tree/gbp-symbol-workspace-addin.c
index ef0af0b68..1d99a5a44 100644
--- a/src/plugins/symbol-tree/gbp-symbol-workspace-addin.c
+++ b/src/plugins/symbol-tree/gbp-symbol-workspace-addin.c
@@ -411,6 +411,7 @@ gbp_symbol_workspace_addin_page_changed (IdeWorkspaceAddin *addin,
   g_assert (GBP_IS_SYMBOL_WORKSPACE_ADDIN (self));
   g_assert (!page || IDE_IS_PAGE (page));
 
+  gbp_symbol_popover_set_symbol_tree (self->popover, NULL);
   gbp_symbol_workspace_addin_set_symbol (self, NULL);
   gtk_widget_hide (GTK_WIDGET (self->menu_button));