Prepared the new organization of display widgets.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/gui/panels/symbols.c b/src/gui/panels/symbols.c
index 4fffe35..170d19b 100644
--- a/src/gui/panels/symbols.c
+++ b/src/gui/panels/symbols.c
@@ -550,7 +550,7 @@ static void on_symbols_selection_change(GtkTreeSelection *selection, GSymbolsPan
     GtkTreeModel *model;                    /* Modèle de gestion           */
     GBinSymbol *symbol;                     /* Symbole à traiter           */
     const mrange_t *range;                  /* Couverture dudit symbole    */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *display;               /* Afficheur effectif de code  */
 
     if (gtk_tree_selection_get_selected(selection, &model, &iter))
     {
@@ -560,8 +560,8 @@ static void on_symbols_selection_change(GtkTreeSelection *selection, GSymbolsPan
         {
             range = g_binary_symbol_get_range(symbol);
 
-            vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
-            gtk_view_panel_request_move(vpanel, get_mrange_addr(range));
+            display = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
+            gtk_display_panel_request_move(display, get_mrange_addr(range));
 
             g_object_unref(G_OBJECT(symbol));