Defined a new interface for displaying loaded contents.

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));