diff options
Diffstat (limited to 'src/gui/panels/symbols.c')
| -rw-r--r-- | src/gui/panels/symbols.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/gui/panels/symbols.c b/src/gui/panels/symbols.c index 5bd4eae..3b01f24 100644 --- a/src/gui/panels/symbols.c +++ b/src/gui/panels/symbols.c @@ -548,7 +548,7 @@ static void on_symbols_selection_change(GtkTreeSelection *selection, gpointer un GtkTreeModel *model; /* Modèle de gestion */ GBinSymbol *symbol; /* Symbole à traiter */ const mrange_t *range; /* Couverture dudit symbole */ - GtkDisplayPanel *display; /* Afficheur effectif de code */ + GLoadedPanel *panel; /* Afficheur effectif de code */ if (gtk_tree_selection_get_selected(selection, &model, &iter)) { @@ -558,9 +558,12 @@ static void on_symbols_selection_change(GtkTreeSelection *selection, gpointer un { range = g_binary_symbol_get_range(symbol); - display = get_current_view(); - gtk_display_panel_request_move(display, get_mrange_addr(range)); - g_object_unref(G_OBJECT(display)); + panel = get_current_view(); + + if (GTK_IS_DISPLAY_PANEL(panel)) + gtk_display_panel_request_move(GTK_DISPLAY_PANEL(panel), get_mrange_addr(range)); + + g_object_unref(G_OBJECT(panel)); g_object_unref(G_OBJECT(symbol)); |