Prepared the new organization of display widgets.

17 files changed, 163 insertions, 163 deletions

diff --git a/src/gui/editem-int.h b/src/gui/editem-int.h
index 3a69261..919e8ae 100644
--- a/src/gui/editem-int.h
+++ b/src/gui/editem-int.h
@@ -34,7 +34,7 @@
 
 #include "../common/dllist.h"
 #include "../gtkext/gtkbufferview.h"
-#include "../gtkext/gtkviewpanel.h"
+#include "../gtkext/gtkdisplaypanel.h"
 
 
 
@@ -42,13 +42,13 @@
 typedef void (* update_item_binary_fc) (GEditorItem *, GLoadedBinary *);
 
 /* Réagit à un changement d'affichage principal de contenu. */
-typedef void (* update_item_view_fc) (GEditorItem *, GtkViewPanel *);
+typedef void (* update_item_view_fc) (GEditorItem *, GtkDisplayPanel *);
 
 /* Réagit à un changement de focus des panneaux d'affichage. */
-typedef void (* notify_focus_change_fc) (GEditorItem *, GtkViewPanel *);
+typedef void (* notify_focus_change_fc) (GEditorItem *, GtkDisplayPanel *);
 
 /* Suit les changements de position dans du code d'assembleur. */
-typedef void (* track_caret_in_view_fc) (GEditorItem *, GtkViewPanel *, const vmpa2t *);
+typedef void (* track_caret_in_view_fc) (GEditorItem *, GtkDisplayPanel *, const vmpa2t *);
 
 /* Concentre l'attention de l'ensemble sur une adresse donnée. */
 typedef void (* focus_addr_fc) (GEditorItem *, GLoadedBinary *, const vmpa2t *);
diff --git a/src/gui/editem.c b/src/gui/editem.c
index 417208e..a2d1210 100644
--- a/src/gui/editem.c
+++ b/src/gui/editem.c
@@ -49,20 +49,20 @@ static void g_editor_item_init(GEditorItem *);
 static GEditorItem *_editem_list = NULL;
 
 /* Suivi du panneau d'affichage courant */
-static GtkViewPanel *_current_view = NULL;
+static GtkDisplayPanel *_current_view = NULL;
 
 /* Suivi des changements de position */
 static GObject *_caret_instance = NULL;
 
 
 /* Suit les changements de focus des panneaux d'affichage. */
-static gboolean notify_view_panel_focus_change(GtkViewPanel *, GdkEventFocus *, void *);
+static gboolean notify_view_panel_focus_change(GtkDisplayPanel *, GdkEventFocus *, void *);
 
 /* Lance une procédure de déplacement de la position courante. */
-static void start_moving_to_address_in_view_panel(GtkViewPanel *, const vmpa2t *, void *);
+static void start_moving_to_address_in_view_panel(GtkDisplayPanel *, const vmpa2t *, void *);
 
 /* Suit les changements de position dans du code d'assembleur. */
-static void track_caret_address_on_view_panel(GtkViewPanel *, const vmpa2t *, void *);
+static void track_caret_address_on_view_panel(GtkDisplayPanel *, const vmpa2t *, void *);
 
 
 
@@ -200,7 +200,7 @@ GLoadedBinary *g_editor_item_get_current_binary(const GEditorItem *item)
 *                                                                             *
 ******************************************************************************/
 
-GtkViewPanel *g_editor_item_get_current_view(const GEditorItem *item)
+GtkDisplayPanel *g_editor_item_get_current_view(const GEditorItem *item)
 {
     return _current_view;
 
@@ -266,9 +266,9 @@ void change_editor_items_current_binary(GObject *ref, GLoadedBinary *binary)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : vpanel = composant d'affichage concerné par l'opération.     *
-*                event  = informations liées à l'événement.                   *
-*                data   = adresse non utilisée ici.                           *
+*  Paramètres  : panel = composant d'affichage concerné par l'opération.      *
+*                event = informations liées à l'événement.                    *
+*                data  = adresse non utilisée ici.                            *
 *                                                                             *
 *  Description : Suit les changements de focus des panneaux d'affichage.      *
 *                                                                             *
@@ -278,7 +278,7 @@ void change_editor_items_current_binary(GObject *ref, GLoadedBinary *binary)
 *                                                                             *
 ******************************************************************************/
 
-static gboolean notify_view_panel_focus_change(GtkViewPanel *vpanel, GdkEventFocus *event, void *data)
+static gboolean notify_view_panel_focus_change(GtkDisplayPanel *panel, GdkEventFocus *event, void *data)
 {
     GEditorItem *iter;                      /* Boucle de parcours          */
     GEditorItemClass *klass;                /* Classe correspondante       */
@@ -288,7 +288,7 @@ static gboolean notify_view_panel_focus_change(GtkViewPanel *vpanel, GdkEventFoc
         klass = G_EDITOR_ITEM_GET_CLASS(iter);
 
         if (klass->notify_focus != NULL)
-            klass->notify_focus(iter, event->in ? vpanel : NULL);
+            klass->notify_focus(iter, event->in ? panel : NULL);
 
     }
 
@@ -299,9 +299,9 @@ static gboolean notify_view_panel_focus_change(GtkViewPanel *vpanel, GdkEventFoc
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : vpanel = composant d'affichage parcouru.                     *
-*                addr   = adresse de destination du curseur souhaitée.        *
-*                data   = adresse non utilisée ici.                           *
+*  Paramètres  : panel = composant d'affichage parcouru.                      *
+*                addr  = adresse de destination du curseur souhaitée.         *
+*                data  = adresse non utilisée ici.                            *
 *                                                                             *
 *  Description : Lance une procédure de déplacement de la position courante.  *
 *                                                                             *
@@ -311,23 +311,23 @@ static gboolean notify_view_panel_focus_change(GtkViewPanel *vpanel, GdkEventFoc
 *                                                                             *
 ******************************************************************************/
 
-static void start_moving_to_address_in_view_panel(GtkViewPanel *vpanel, const vmpa2t *addr, void *data)
+static void start_moving_to_address_in_view_panel(GtkDisplayPanel *panel, const vmpa2t *addr, void *data)
 {
     const vmpa2t *src;                      /* Position courante de curseur*/
     GDbMove *move;                          /* Déplacement à organiser     */
     GLoadedBinary *binary;                  /* Binaire en cours d'étude    */
 
-    src = gtk_view_panel_get_caret_location(vpanel);
+    src = gtk_display_panel_get_caret_location(panel);
 
     /* S'il n'y a pas de passif, pas besoin d'historique */
     if (src == NULL)
-        gtk_view_panel_scroll_to_address(vpanel, addr, SPT_CENTER);
+        gtk_display_panel_scroll_to_address(panel, addr, SPT_CENTER);
 
     else
     {
         move = g_db_move_new(src, addr);
 
-        binary = gtk_view_panel_get_binary(vpanel);
+        binary = gtk_display_panel_get_binary(panel);
         g_loaded_binary_add_to_collection(binary, G_DB_ITEM(move));
 
     }
@@ -337,9 +337,9 @@ static void start_moving_to_address_in_view_panel(GtkViewPanel *vpanel, const vm
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : vpanel = composant d'affichage parcouru.                     *
-*                addr   = nouvelle adresse du curseur courant.                *
-*                data   = adresse non utilisée ici.                           *
+*  Paramètres  : panel = composant d'affichage parcouru.                      *
+*                addr  = nouvelle adresse du curseur courant.                 *
+*                data  = adresse non utilisée ici.                            *
 *                                                                             *
 *  Description : Suit les changements de position dans du code d'assembleur.  *
 *                                                                             *
@@ -349,7 +349,7 @@ static void start_moving_to_address_in_view_panel(GtkViewPanel *vpanel, const vm
 *                                                                             *
 ******************************************************************************/
 
-static void track_caret_address_on_view_panel(GtkViewPanel *vpanel, const vmpa2t *addr, void *data)
+static void track_caret_address_on_view_panel(GtkDisplayPanel *panel, const vmpa2t *addr, void *data)
 {
     GEditorItem *iter;                      /* Boucle de parcours          */
     GEditorItemClass *klass;                /* Classe correspondante       */
@@ -359,7 +359,7 @@ static void track_caret_address_on_view_panel(GtkViewPanel *vpanel, const vmpa2t
         klass = G_EDITOR_ITEM_GET_CLASS(iter);
 
         if (klass->track_caret != NULL)
-            klass->track_caret(iter, vpanel, addr);
+            klass->track_caret(iter, panel, addr);
 
     }
 
@@ -368,8 +368,8 @@ static void track_caret_address_on_view_panel(GtkViewPanel *vpanel, const vmpa2t
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref    = espace de référencement global.                     *
-*                vpanel = nouveau panneau d'affichage actif.                  *
+*  Paramètres  : ref   = espace de référencement global.                      *
+*                panel = nouveau panneau d'affichage actif.                   *
 *                                                                             *
 *  Description : Lance une actualisation du fait d'un changement de vue.      *
 *                                                                             *
@@ -379,7 +379,7 @@ static void track_caret_address_on_view_panel(GtkViewPanel *vpanel, const vmpa2t
 *                                                                             *
 ******************************************************************************/
 
-void change_editor_items_current_view(GObject *ref, GtkViewPanel *vpanel)
+void change_editor_items_current_view(GObject *ref, GtkDisplayPanel *panel)
 {
     GEditorItem *iter;                      /* Boucle de parcours          */
     GEditorItemClass *klass;                /* Classe correspondante       */
@@ -392,21 +392,21 @@ void change_editor_items_current_view(GObject *ref, GtkViewPanel *vpanel)
         g_signal_handlers_disconnect_by_func(_current_view, G_CALLBACK(notify_view_panel_focus_change), NULL);
     }
 
-    _current_view = vpanel;
+    _current_view = panel;
 
     editem_list_for_each(iter, _editem_list)
     {
         klass = G_EDITOR_ITEM_GET_CLASS(iter);
 
         if (klass->update_view != NULL)
-            klass->update_view(iter, vpanel);
+            klass->update_view(iter, panel);
 
     }
 
-    if (vpanel != NULL)
+    if (panel != NULL)
     {
-        g_signal_connect(vpanel, "focus-in-event", G_CALLBACK(notify_view_panel_focus_change), NULL);
-        g_signal_connect(vpanel, "focus-out-event", G_CALLBACK(notify_view_panel_focus_change), NULL);
+        g_signal_connect(panel, "focus-in-event", G_CALLBACK(notify_view_panel_focus_change), NULL);
+        g_signal_connect(panel, "focus-out-event", G_CALLBACK(notify_view_panel_focus_change), NULL);
     }
 
     /* Suivi du curseur */
@@ -423,17 +423,17 @@ void change_editor_items_current_view(GObject *ref, GtkViewPanel *vpanel)
         _caret_instance = NULL;
     }
 
-    if (vpanel != NULL)
+    if (panel != NULL)
     {
-        g_signal_connect(vpanel, "move-request",
+        g_signal_connect(panel, "move-request",
                          G_CALLBACK(start_moving_to_address_in_view_panel),
                          NULL);
 
-        g_signal_connect(vpanel, "caret-moved",
+        g_signal_connect(panel, "caret-moved",
                          G_CALLBACK(track_caret_address_on_view_panel),
                          NULL);
 
-        _caret_instance = G_OBJECT(vpanel);
+        _caret_instance = G_OBJECT(panel);
         g_object_ref(_caret_instance);
 
     }
@@ -443,8 +443,8 @@ void change_editor_items_current_view(GObject *ref, GtkViewPanel *vpanel)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref    = espace de référencement global.                     *
-*                vpanel = nouveau panneau d'affichage actif.                  *
+*  Paramètres  : ref   = espace de référencement global.                      *
+*                panel = nouveau panneau d'affichage actif.                   *
 *                                                                             *
 *  Description : Lance une actualisation du fait d'un changement de contenu.  *
 *                                                                             *
@@ -454,7 +454,7 @@ void change_editor_items_current_view(GObject *ref, GtkViewPanel *vpanel)
 *                                                                             *
 ******************************************************************************/
 
-void change_editor_items_current_view_content(GtkViewPanel *vpanel)
+void change_editor_items_current_view_content(GtkDisplayPanel *panel)
 {
     GEditorItem *iter;                      /* Boucle de parcours          */
     GEditorItemClass *klass;                /* Classe correspondante       */
@@ -464,7 +464,7 @@ void change_editor_items_current_view_content(GtkViewPanel *vpanel)
         klass = G_EDITOR_ITEM_GET_CLASS(iter);
 
         if (klass->update_content != NULL)
-            klass->update_content(iter, vpanel);
+            klass->update_content(iter, panel);
 
     }
 
diff --git a/src/gui/editem.h b/src/gui/editem.h
index 958f361..445403a 100644
--- a/src/gui/editem.h
+++ b/src/gui/editem.h
@@ -31,7 +31,7 @@
 
 #include "../analysis/binary.h"
 #include "../analysis/project.h"
-#include "../gtkext/gtkviewpanel.h"
+#include "../gtkext/gtkdisplaypanel.h"
 
 
 
@@ -69,7 +69,7 @@ GtkWidget *g_editor_item_get_widget(const GEditorItem *);
 GLoadedBinary *g_editor_item_get_current_binary(const GEditorItem *);
 
 /* Fournit l'affichage de binaire courant. */
-GtkViewPanel *g_editor_item_get_current_view(const GEditorItem *);
+GtkDisplayPanel *g_editor_item_get_current_view(const GEditorItem *);
 
 
 
@@ -83,10 +83,10 @@ void register_editor_item(GEditorItem *);
 void change_editor_items_current_binary(GObject *, GLoadedBinary *);
 
 /* Lance une actualisation du fait d'un changement de vue. */
-void change_editor_items_current_view(GObject *, GtkViewPanel *);
+void change_editor_items_current_view(GObject *, GtkDisplayPanel *);
 
 /* Lance une actualisation du fait d'un changement de contenu. */
-void change_editor_items_current_view_content(GtkViewPanel *);
+void change_editor_items_current_view_content(GtkDisplayPanel *);
 
 /* Concentre l'attention de l'ensemble sur une adresse donnée. */
 void focus_address_in_editor_items(GLoadedBinary *, const vmpa2t *, GEditorItem *);
diff --git a/src/gui/editor.c b/src/gui/editor.c
index ef57dbc..736c6f6 100644
--- a/src/gui/editor.c
+++ b/src/gui/editor.c
@@ -1200,12 +1200,12 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, GObj
     if (GTK_IS_VIEWPORT(widget))
         widget = gtk_bin_get_child(GTK_BIN(widget));
 
-    if (GTK_IS_VIEW_PANEL(widget))
+    if (GTK_IS_DISPLAY_PANEL(widget))
     {
         /* Changement de binaire ? */
 
         old_binary = G_LOADED_BINARY(g_object_get_data(ref, "current_binary"));
-        binary = gtk_view_panel_get_binary(GTK_VIEW_PANEL(widget));
+        binary = gtk_display_panel_get_binary(GTK_DISPLAY_PANEL(widget));
 
         if (old_binary != binary)
         {
@@ -1213,9 +1213,9 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, GObj
             change_editor_items_current_binary(ref, binary);
         }
 
-        change_editor_items_current_view(ref, GTK_VIEW_PANEL(widget));
+        change_editor_items_current_view(ref, GTK_DISPLAY_PANEL(widget));
 
-        //notify_panels_of_view_change(GTK_VIEW_PANEL(widget), false);
+        //notify_panels_of_view_change(GTK_DISPLAY_PANEL(widget), false);
 
     }
 
diff --git a/src/gui/menus/binary.c b/src/gui/menus/binary.c
index 14e840b..dc94e2b 100644
--- a/src/gui/menus/binary.c
+++ b/src/gui/menus/binary.c
@@ -96,8 +96,8 @@ GtkWidget *build_menu_binary(GObject *ref, GtkAccelGroup *accgroup, GMenuBar *ba
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref    = espace de référencements à consulter.               *
-*                vpanel = panneau d'affichage actif ou NULL si aucun.         *
+*  Paramètres  : ref   = espace de référencements à consulter.                *
+*                panel = panneau d'affichage actif ou NULL si aucun.          *
 *                                                                             *
 *  Description : Met à jour les accès du menu "Binaire" selon le contenu.     *
 *                                                                             *
@@ -107,14 +107,14 @@ GtkWidget *build_menu_binary(GObject *ref, GtkAccelGroup *accgroup, GMenuBar *ba
 *                                                                             *
 ******************************************************************************/
 
-void update_access_in_menu_binary(GObject *ref, GtkViewPanel *vpanel)
+void update_access_in_menu_binary(GObject *ref, GtkDisplayPanel *panel)
 {
     gboolean access;                        /* Accès à déterminer          */
     GtkWidget *item;                        /* Elément de menu à traiter   */
 
     /* Préliminaire */
 
-    access = (vpanel != NULL);
+    access = (panel != NULL);
 
     /* Menus */
 
@@ -150,7 +150,7 @@ static void mcb_binary_entry_points(GtkMenuItem *menuitem, GMenuBar *bar)
     GLoadedBinary *binary;                  /* Binaire présenté à l'écran  */
     GtkWidget *dialog;                      /* Boîte de dialogue à montrer */
     vmpa2t *addr;                           /* Adresse de destination      */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
 
     item = G_EDITOR_ITEM(bar);
 
@@ -163,8 +163,8 @@ static void mcb_binary_entry_points(GtkMenuItem *menuitem, GMenuBar *bar)
     {
         addr = get_address_from_gotox_dialog(dialog);
 
-        vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
-        gtk_view_panel_request_move(vpanel, addr);
+        panel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
+        gtk_display_panel_request_move(panel, addr);
 
         delete_vmpa(addr);
 
diff --git a/src/gui/menus/binary.h b/src/gui/menus/binary.h
index 11727d3..943bd82 100644
--- a/src/gui/menus/binary.h
+++ b/src/gui/menus/binary.h
@@ -37,7 +37,7 @@
 GtkWidget *build_menu_binary(GObject *, GtkAccelGroup *, GMenuBar *);
 
 /* Met à jour les accès du menu "Binaire" selon le contenu. */
-void update_access_in_menu_binary(GObject *, GtkViewPanel *);
+void update_access_in_menu_binary(GObject *, GtkDisplayPanel *);
 
 
 
diff --git a/src/gui/menus/edition.c b/src/gui/menus/edition.c
index e2d1db8..95b4f50 100644
--- a/src/gui/menus/edition.c
+++ b/src/gui/menus/edition.c
@@ -229,9 +229,9 @@ GtkWidget *build_menu_edition(GObject *ref, GtkAccelGroup *accgroup, GMenuBar *b
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref    = espace de référencements à consulter.               *
-*                vpanel = panneau d'affichage actif ou NULL si aucun.         *
-*                addr   = nouvelle adresse du curseur courant.                *
+*  Paramètres  : ref   = espace de référencements à consulter.                *
+*                panel = panneau d'affichage actif ou NULL si aucun.          *
+*                addr  = nouvelle adresse du curseur courant.                 *
 *                                                                             *
 *  Description : Met à jour les accès du menu "Edition" selon une position.   *
 *                                                                             *
@@ -241,7 +241,7 @@ GtkWidget *build_menu_edition(GObject *ref, GtkAccelGroup *accgroup, GMenuBar *b
 *                                                                             *
 ******************************************************************************/
 
-void update_access_in_menu_edition(GObject *ref, GtkViewPanel *vpanel, const vmpa2t *addr)
+void update_access_in_menu_edition(GObject *ref, GtkDisplayPanel *panel, const vmpa2t *addr)
 {
     bool state;                             /* Etat principal à considérer */
     gboolean access;                        /* Accès à déterminer          */
@@ -251,14 +251,14 @@ void update_access_in_menu_edition(GObject *ref, GtkViewPanel *vpanel, const vmp
 
     /* Préliminaire */
 
-    if (vpanel == NULL || addr == NULL)
+    if (panel == NULL || addr == NULL)
     {
         state = false;
         line = NULL;
         creator = NULL;
     }
     else
-        state = gtk_view_panel_get_position(vpanel, &line, &creator);
+        state = gtk_display_panel_get_position(panel, &line, &creator);
 
     /* Bascule des opérandes numériques */
 
@@ -317,7 +317,7 @@ static void mcb_edition_goto(GtkMenuItem *menuitem, GMenuBar *bar)
     GObject *ref;                           /* Espace de référencements    */
     GtkWidget *dialog;                      /* Boîte de dialogue à montrer */
     vmpa2t *addr;                           /* Adresse de destination      */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
 
     ref = g_editor_item_get_global_ref(G_EDITOR_ITEM(bar));
     dialog = create_goto_dialog(GTK_WINDOW(ref));
@@ -326,8 +326,8 @@ static void mcb_edition_goto(GtkMenuItem *menuitem, GMenuBar *bar)
     {
         addr = get_address_from_goto_dialog(dialog);
 
-        vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
-        gtk_view_panel_request_move(vpanel, addr);
+        panel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
+        gtk_display_panel_request_move(panel, addr);
 
         delete_vmpa(addr);
 
@@ -355,7 +355,7 @@ static void mcb_edition_switch_numeric_operand(GtkMenuItem *menuitem, GMenuBar *
 {
     ImmOperandDisplay display;              /* Type de basculement         */
     GEditorItem *editem;                    /* Autre version de la barre   */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
     GBufferLine *line;                      /* Ligne de position courante  */
     GObject *creator;                       /* Créateur à l'orgine du seg. */
     GDbSwitcher *switcher;                  /* Bascule à mettre en place   */
@@ -368,9 +368,9 @@ static void mcb_edition_switch_numeric_operand(GtkMenuItem *menuitem, GMenuBar *
 
     editem = G_EDITOR_ITEM(bar);
 
-    vpanel = g_editor_item_get_current_view(editem);
+    panel = g_editor_item_get_current_view(editem);
 
-    if (gtk_view_panel_get_position(vpanel, &line, &creator))
+    if (gtk_display_panel_get_position(panel, &line, &creator))
     {
         assert(G_IS_IMM_OPERAND(creator));
 
@@ -430,15 +430,15 @@ static void mcb_edition_go_back(GtkMenuItem *menuitem, GMenuBar *bar)
 
 static void mcb_edition_follow_ref(GtkMenuItem *menuitem, GMenuBar *bar)
 {
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
     GBufferLine *line;                      /* Ligne de position courante  */
     GObject *creator;                       /* Créateur à l'orgine du seg. */
     virt_t virt;                            /* Adresse virtuelle           */
     vmpa2t addr;                            /* Adresse de destination      */
 
-    vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
+    panel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
 
-    if (gtk_view_panel_get_position(vpanel, &line, &creator))
+    if (gtk_display_panel_get_position(panel, &line, &creator))
     {
         assert(creator != NULL);
 
@@ -461,7 +461,7 @@ static void mcb_edition_follow_ref(GtkMenuItem *menuitem, GMenuBar *bar)
         if (virt != VMPA_NO_VIRTUAL)
         {
             init_vmpa(&addr, VMPA_NO_PHYSICAL, virt);
-            gtk_view_panel_request_move(vpanel, &addr);
+            gtk_display_panel_request_move(panel, &addr);
         }
 
         g_object_unref(creator);
@@ -487,7 +487,7 @@ static void mcb_edition_follow_ref(GtkMenuItem *menuitem, GMenuBar *bar)
 
 static void mcb_edition_list_xrefs(GtkMenuItem *menuitem, GMenuBar *bar)
 {
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
     GBufferLine *line;                      /* Ligne de position courante  */
     const mrange_t *range;                  /* Couverture en mémoire       */
     GLoadedBinary *binary;                  /* Représentation binaire      */
@@ -498,9 +498,9 @@ static void mcb_edition_list_xrefs(GtkMenuItem *menuitem, GMenuBar *bar)
     GtkWidget *dialog;                      /* Boîte de dialogue à montrer */
     vmpa2t *addr;                           /* Adresse de destination      */
 
-    vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
+    panel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
 
-    if (gtk_view_panel_get_position(vpanel, &line, NULL))
+    if (gtk_display_panel_get_position(panel, &line, NULL))
     {
         range = g_buffer_line_get_range(line);
 
@@ -530,7 +530,7 @@ static void mcb_edition_list_xrefs(GtkMenuItem *menuitem, GMenuBar *bar)
         {
             addr = get_address_from_gotox_dialog(dialog);
 
-            gtk_view_panel_request_move(vpanel, addr);
+            gtk_display_panel_request_move(panel, addr);
 
             delete_vmpa(addr);
 
@@ -563,7 +563,7 @@ static void mcb_edition_list_xrefs(GtkMenuItem *menuitem, GMenuBar *bar)
 static void mcb_edition_bookmarks_toggle(GtkMenuItem *menuitem, GMenuBar *bar)
 {
     GEditorItem *editem;                    /* Autre version de la barre   */
-    GtkViewPanel *panel;                    /* Vue offrant l'affichage     */
+    GtkDisplayPanel *panel;                 /* Vue offrant l'affichage     */
     const vmpa2t *curloc;                   /* Localisation d'un curseur   */
     GLoadedBinary *binary;                  /* Binaire en cours d'étude    */
     GDbCollection *collec;                  /* Collection à manipuler      */
@@ -579,7 +579,7 @@ static void mcb_edition_bookmarks_toggle(GtkMenuItem *menuitem, GMenuBar *bar)
 
     panel = g_editor_item_get_current_view(editem);
 
-    curloc = gtk_view_panel_get_caret_location(panel);
+    curloc = gtk_display_panel_get_caret_location(panel);
 
     /* Accès à la collection */
 
diff --git a/src/gui/menus/edition.h b/src/gui/menus/edition.h
index eda567d..adfee9e 100644
--- a/src/gui/menus/edition.h
+++ b/src/gui/menus/edition.h
@@ -30,7 +30,7 @@
 
 
 #include "menubar.h"
-#include "../../gtkext/gtkviewpanel.h"
+#include "../../gtkext/gtkdisplaypanel.h"
 
 
 
@@ -38,7 +38,7 @@
 GtkWidget *build_menu_edition(GObject *, GtkAccelGroup *, GMenuBar *);
 
 /* Met à jour les accès du menu "Edition" selon une position. */
-void update_access_in_menu_edition(GObject *, GtkViewPanel *, const vmpa2t *);
+void update_access_in_menu_edition(GObject *, GtkDisplayPanel *, const vmpa2t *);
 
 
 
diff --git a/src/gui/menus/menubar.c b/src/gui/menus/menubar.c
index 78cc367..3753d37 100644
--- a/src/gui/menus/menubar.c
+++ b/src/gui/menus/menubar.c
@@ -75,13 +75,13 @@ static void g_menu_bar_dispose(GMenuBar *);
 static void g_menu_bar_finalize(GMenuBar *);
 
 /* Lance une actualisation du fait d'un changement de vue. */
-static void update_menu_bar_for_view(GMenuBar *, GtkViewPanel *);
+static void update_menu_bar_for_view(GMenuBar *, GtkDisplayPanel *);
 
 /* Réagit à un changement de focus des panneaux d'affichage. */
-static void notify_focus_change_for_menu_bar(GMenuBar *, GtkViewPanel *);
+static void notify_focus_change_for_menu_bar(GMenuBar *, GtkDisplayPanel *);
 
 /* Met à jour les accès aux menus en fonction de la position. */
-static void track_caret_address_for_menu_bar(GMenuBar *, GtkViewPanel *, const vmpa2t *);
+static void track_caret_address_for_menu_bar(GMenuBar *, GtkDisplayPanel *, const vmpa2t *);
 
 /* Lance une actualisation relative à l'étendue du projet. */
 static void update_menu_bar_for_project(GMenuBar *, GStudyProject *);
@@ -268,8 +268,8 @@ GEditorItem *g_menu_bar_new(GObject *ref, GtkAccelGroup *accgroup)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : bar  = barre de menus à actualiser.                          *
-*                view = nouveau panneau d'affichage actif.                    *
+*  Paramètres  : bar   = barre de menus à actualiser.                         *
+*                panel = nouveau panneau d'affichage actif.                   *
 *                                                                             *
 *  Description : Lance une actualisation du fait d'un changement de vue.      *
 *                                                                             *
@@ -279,9 +279,9 @@ GEditorItem *g_menu_bar_new(GObject *ref, GtkAccelGroup *accgroup)
 *                                                                             *
 ******************************************************************************/
 
-static void update_menu_bar_for_view(GMenuBar *bar, GtkViewPanel *view)
+static void update_menu_bar_for_view(GMenuBar *bar, GtkDisplayPanel *panel)
 {
-    update_menu_view_for_view(bar->view, view, bar);
+    update_menu_view_for_view(bar->view, panel, bar);
 
 }
 
@@ -299,14 +299,14 @@ static void update_menu_bar_for_view(GMenuBar *bar, GtkViewPanel *view)
 *                                                                             *
 ******************************************************************************/
 
-static void notify_focus_change_for_menu_bar(GMenuBar *bar, GtkViewPanel *panel)
+static void notify_focus_change_for_menu_bar(GMenuBar *bar, GtkDisplayPanel *panel)
 {
     GBufferLine *line;                      /* Ligne de position courante  */
     const mrange_t *range;                  /* Couverture en mémoire       */
     const vmpa2t *addr;                     /* Position courante           */
     GEditorItem *item;                      /* Autre version de l'élément  */
 
-    if (panel != NULL && gtk_view_panel_get_position(panel, &line, NULL))
+    if (panel != NULL && gtk_display_panel_get_position(panel, &line, NULL))
     {
         range = g_buffer_line_get_range(line);
         addr = get_mrange_addr(range);
@@ -333,9 +333,9 @@ static void notify_focus_change_for_menu_bar(GMenuBar *bar, GtkViewPanel *panel)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : bar    = barre de menus à actualiser.                        *
-*                vpanel = panneau d'affichage actif ou NULL si aucun.         *
-*                addr   = nouvelle adresse du curseur courant.                *
+*  Paramètres  : bar   = barre de menus à actualiser.                         *
+*                panel = panneau d'affichage actif ou NULL si aucun.          *
+*                addr  = nouvelle adresse du curseur courant.                 *
 *                                                                             *
 *  Description : Met à jour les accès aux menus en fonction de la position.   *
 *                                                                             *
@@ -345,13 +345,13 @@ static void notify_focus_change_for_menu_bar(GMenuBar *bar, GtkViewPanel *panel)
 *                                                                             *
 ******************************************************************************/
 
-static void track_caret_address_for_menu_bar(GMenuBar *bar, GtkViewPanel *vpanel, const vmpa2t *addr)
+static void track_caret_address_for_menu_bar(GMenuBar *bar, GtkDisplayPanel *panel, const vmpa2t *addr)
 {
     GEditorItem *item;                      /* Autre version de l'élément  */
 
     item = G_EDITOR_ITEM(bar);
 
-    update_access_in_menu_edition(item->ref, vpanel, addr);
+    update_access_in_menu_edition(item->ref, panel, addr);
 
 }
 
diff --git a/src/gui/menus/view.c b/src/gui/menus/view.c
index 1f50d80..9447724 100644
--- a/src/gui/menus/view.c
+++ b/src/gui/menus/view.c
@@ -160,7 +160,7 @@ GtkWidget *build_menu_view(GObject *ref, GtkAccelGroup *accgroup, GMenuBar *bar)
 /******************************************************************************
 *                                                                             *
 *  Paramètres  : widget = menu principal à actualiser.                        *
-*                view   = nouveau panneau d'affichage actif.                  *
+*                panel  = nouveau panneau d'affichage actif.                  *
 *                bar    = barre de menu parente.                              *
 *                                                                             *
 *  Description : Lance une actualisation du fait d'un changement de vue.      *
@@ -171,7 +171,7 @@ GtkWidget *build_menu_view(GObject *ref, GtkAccelGroup *accgroup, GMenuBar *bar)
 *                                                                             *
 ******************************************************************************/
 
-void update_menu_view_for_view(GtkWidget *widget, GtkViewPanel *view, GMenuBar *bar)
+void update_menu_view_for_view(GtkWidget *widget, GtkDisplayPanel *panel, GMenuBar *bar)
 {
     GObject *ref;                           /* Espace de référencements    */
     GLoadedBinary *binary;                  /* Binaire courant             */
@@ -184,7 +184,7 @@ void update_menu_view_for_view(GtkWidget *widget, GtkViewPanel *view, GMenuBar *
 
     binary = g_editor_item_get_current_binary(G_EDITOR_ITEM(bar));
 
-    content = gtk_view_panel_describe_content(view);
+    content = gtk_display_panel_describe_content(panel);
 
     display = g_loaded_binary_get_column_display(binary, content);
 
@@ -226,8 +226,8 @@ void update_menu_view_for_view(GtkWidget *widget, GtkViewPanel *view, GMenuBar *
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref    = espace de référencements à consulter.               *
-*                vpanel = panneau d'affichage actif ou NULL si aucun.         *
+*  Paramètres  : ref   = espace de référencements à consulter.                *
+*                panel = panneau d'affichage actif ou NULL si aucun.          *
 *                                                                             *
 *  Description : Met à jour les accès du menu "Affichage" selon le contenu.   *
 *                                                                             *
@@ -237,14 +237,14 @@ void update_menu_view_for_view(GtkWidget *widget, GtkViewPanel *view, GMenuBar *
 *                                                                             *
 ******************************************************************************/
 
-void update_access_in_menu_view(GObject *ref, GtkViewPanel *vpanel)
+void update_access_in_menu_view(GObject *ref, GtkDisplayPanel *panel)
 {
     gboolean access;                        /* Accès à déterminer          */
     GtkWidget *item;                        /* Elément de menu à traiter   */
 
     /* Préliminaire */
 
-    access = (vpanel != NULL);
+    access = (panel != NULL);
 
     /* Types de panneau de code */
 
@@ -431,7 +431,7 @@ static void mcb_view_change_support(GtkRadioMenuItem *menuitem, GMenuBar *bar)
     GSList *group;                          /* Liste de menus radio        */
     GSList *iter;                           /* Boucle de parcours          */
     BinaryView wanted;                      /* Nouvelle vue à présenter    */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
     GtkDockStation *station;                /* Base du remplacement        */
     GtkWidget *scroll;                      /* Nouveau support à utiliser  */
 
@@ -446,18 +446,18 @@ static void mcb_view_change_support(GtkRadioMenuItem *menuitem, GMenuBar *bar)
 
         wanted = GPOINTER_TO_UINT(g_object_get_data(G_OBJECT(iter->data), "kind_of_view"));
 
-        vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
-        station = get_dock_station_for_view_panel(vpanel);
+        panel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
+        station = get_dock_station_for_view_panel(panel);
 
         /* En vue du retrait de la station d'accueil... */
-        g_object_ref(G_OBJECT(vpanel));
+        g_object_ref(G_OBJECT(panel));
 
-        vpanel = get_alt_view_for_view_panel(vpanel, wanted);
-        scroll = get_scroll_window_for_view_panel(vpanel);
+        panel = get_alt_view_for_view_panel(panel, wanted);
+        scroll = get_scroll_window_for_view_panel(panel);
 
         gtk_dock_panel_change_active_widget(station, scroll);
 
-        change_editor_items_current_view(G_EDITOR_ITEM(bar)->ref, vpanel);
+        change_editor_items_current_view(G_EDITOR_ITEM(bar)->ref, panel);
 
     }
 
@@ -481,7 +481,7 @@ static void mcb_view_display_column(GtkCheckMenuItem *menuitem, GMenuBar *bar)
 {
     BufferLineColumn col;                   /* Colonne à traiter           */
     GLoadedBinary *binary;                  /* Binaire courant             */
-    GtkViewPanel *panel;                    /* Affichage courant           */
+    GtkDisplayPanel *panel;                 /* Affichage courant           */
     BinaryView view;                        /* Type de vue représentée     */
     gboolean active;                        /* Etat de sélection du menu   */
 
@@ -490,7 +490,7 @@ static void mcb_view_display_column(GtkCheckMenuItem *menuitem, GMenuBar *bar)
     binary = g_editor_item_get_current_binary(G_EDITOR_ITEM(bar));
 
     panel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar));
-    view = gtk_view_panel_describe_content(panel);
+    view = gtk_display_panel_describe_content(panel);
 
     active = gtk_check_menu_item_get_active(menuitem);
 
diff --git a/src/gui/menus/view.h b/src/gui/menus/view.h
index 8c4dc67..ff8e989 100644
--- a/src/gui/menus/view.h
+++ b/src/gui/menus/view.h
@@ -37,10 +37,10 @@
 GtkWidget *build_menu_view(GObject *, GtkAccelGroup *, GMenuBar *);
 
 /* Lance une actualisation du fait d'un changement de vue. */
-void update_menu_view_for_view(GtkWidget *, GtkViewPanel *, GMenuBar *);
+void update_menu_view_for_view(GtkWidget *, GtkDisplayPanel *, GMenuBar *);
 
 /* Met à jour les accès du menu "Affichage" selon le contenu. */
-void update_access_in_menu_view(GObject *, GtkViewPanel *);
+void update_access_in_menu_view(GObject *, GtkDisplayPanel *);
 
 
 
diff --git a/src/gui/panels/bookmarks.c b/src/gui/panels/bookmarks.c
index 893c1bd..13b952e 100644
--- a/src/gui/panels/bookmarks.c
+++ b/src/gui/panels/bookmarks.c
@@ -662,7 +662,7 @@ static void on_bookmarks_selection_change(GtkTreeSelection *selection, GBookmark
     GtkTreeModel *model;                    /* Modèle de gestion           */
     GDbBookmark *bookmark;                  /* Signet en cours d'étude     */
     const vmpa2t *addr;                     /* Adressse associée au signet */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *display;               /* Afficheur effectif de code  */
 
     if (gtk_tree_selection_get_selected(selection, &model, &iter))
     {
@@ -670,8 +670,8 @@ static void on_bookmarks_selection_change(GtkTreeSelection *selection, GBookmark
 
         addr = g_db_bookmark_get_address(bookmark);
 
-        vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
-        gtk_view_panel_request_move(vpanel, addr);
+        display = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
+        gtk_display_panel_request_move(display, addr);
 
         g_object_unref(G_OBJECT(bookmark));
 
@@ -1047,7 +1047,7 @@ static gboolean on_button_press_over_bookmarks(GtkWidget *widget, GdkEventButton
     GtkTreeModel *model;                    /* Modèle de gestion           */
     GDbBookmark *bookmark;                  /* Signet en cours d'étude     */
     const vmpa2t *addr;                     /* Adressse associée au signet */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *display;               /* Afficheur effectif de code  */
 
     switch (event->button)
     {
@@ -1061,8 +1061,8 @@ static gboolean on_button_press_over_bookmarks(GtkWidget *widget, GdkEventButton
 
                 addr = g_db_bookmark_get_address(bookmark);
 
-                vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
-                gtk_view_panel_request_move(vpanel, addr);
+                display = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
+                gtk_display_panel_request_move(display, addr);
 
                 g_object_unref(G_OBJECT(bookmark));
 
diff --git a/src/gui/panels/glance.c b/src/gui/panels/glance.c
index 272cc4f..153d623 100644
--- a/src/gui/panels/glance.c
+++ b/src/gui/panels/glance.c
@@ -38,7 +38,7 @@ struct _GGlancePanel
 {
     GPanelItem parent;                      /* A laisser en premier        */
 
-    GtkViewPanel *view;                     /* Vue à représenter           */
+    GtkDisplayPanel *display;               /* Vue à représenter           */
     GtkRequisition req;                     /* Pleine taille de la source  */
     GtkScrolledWindow *support;             /* Support défilant associé    */
 
@@ -87,7 +87,7 @@ static void g_glance_panel_dispose(GGlancePanel *);
 static void g_glance_panel_finalize(GGlancePanel *);
 
 /* Lance une actualisation du fait d'un changement de support. */
-static void update_glance_panel_for_view(GGlancePanel *, GtkViewPanel *);
+static void update_glance_panel_for_view(GGlancePanel *, GtkDisplayPanel *);
 
 /* Réagit à la préparation du défilement du support original. */
 static void on_view_scroll_setup(GtkAdjustment *, GGlancePanel *);
@@ -102,7 +102,7 @@ static void on_glance_resize(GtkWidget *, GdkRectangle *, GGlancePanel *);
 static void compute_glance_scale(GGlancePanel *);
 
 /* Lance une actualisation du fait d'un changement de vue. */
-static void update_glance_panel_for_view_content(GGlancePanel *, GtkViewPanel *);
+static void update_glance_panel_for_view_content(GGlancePanel *, GtkDisplayPanel *);
 
 /* Met à jour l'affichage de l'aperçu rapide à présenter. */
 static gboolean redraw_glance_area(GtkWidget *, cairo_t *, GGlancePanel *);
@@ -281,8 +281,8 @@ GPanelItem *g_glance_panel_new(void)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : panel = panneau à actualiser.                                *
-*                view  = nouveau panneau d'affichage actif.                   *
+*  Paramètres  : panel    = panneau à actualiser.                             *
+*                display  = nouveau panneau d'affichage actif.                *
 *                                                                             *
 *  Description : Lance une actualisation du fait d'un changement de support.  *
 *                                                                             *
@@ -292,15 +292,15 @@ GPanelItem *g_glance_panel_new(void)
 *                                                                             *
 ******************************************************************************/
 
-static void update_glance_panel_for_view(GGlancePanel *panel, GtkViewPanel *view)
+static void update_glance_panel_for_view(GGlancePanel *panel, GtkDisplayPanel *display)
 {
     GtkWidget *parent;                      /* Support défilant de la vue  */
     GtkAdjustment *adj;                     /* Gestionnaire du défilement  */
 
-    if (panel->view != NULL)
+    if (panel->display != NULL)
     {
-        g_object_unref(panel->view);
-        panel->view = NULL;
+        g_object_unref(panel->display);
+        panel->display = NULL;
 
         g_object_unref(panel->support);
         panel->support = NULL;
@@ -318,11 +318,11 @@ static void update_glance_panel_for_view(GGlancePanel *panel, GtkViewPanel *view
      * de la fonction mcb_view_change_support().
      */
 
-    parent = gtk_widget_get_parent(GTK_WIDGET(view));
+    parent = gtk_widget_get_parent(GTK_WIDGET(display));
     if (!GTK_IS_SCROLLED_WINDOW(parent)) return;
 
-    panel->view = view;
-    g_object_ref(panel->view);
+    panel->display = display;
+    g_object_ref(panel->display);
 
     panel->support = GTK_SCROLLED_WINDOW(parent);
     g_object_ref(panel->support);
@@ -362,13 +362,13 @@ static void on_view_scroll_setup(GtkAdjustment *adj, GGlancePanel *panel)
     if (gtk_adjustment_get_page_size(hadj) == 0 || gtk_adjustment_get_page_size(vadj) == 0)
         return;
 
-    gtk_widget_get_preferred_size(GTK_WIDGET(panel->view), NULL, &panel->req);
+    gtk_widget_get_preferred_size(GTK_WIDGET(panel->display), NULL, &panel->req);
 
     compute_glance_scale(panel);
 
     on_view_scrolled(adj, panel);
 
-    update_glance_panel_for_view_content(panel, panel->view);
+    update_glance_panel_for_view_content(panel, panel->display);
 
 }
 
@@ -423,10 +423,10 @@ static void on_view_scrolled(GtkAdjustment *adj, GGlancePanel *panel)
 
 static void on_glance_resize(GtkWidget *widget, GdkRectangle *allocation, GGlancePanel *panel)
 {
-    if (panel->view != NULL)
+    if (panel->display != NULL)
     {
         on_view_scroll_setup(NULL, panel);
-        update_glance_panel_for_view_content(panel, panel->view);
+        update_glance_panel_for_view_content(panel, panel->display);
     }
 
 }
@@ -508,8 +508,8 @@ static void compute_glance_scale(GGlancePanel *panel)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : panel = panneau à actualiser.                                *
-*                view  = nouveau panneau d'affichage actif.                   *
+*  Paramètres  : panel   = panneau à actualiser.                              *
+*                display = nouveau panneau d'affichage actif.                 *
 *                                                                             *
 *  Description : Lance une actualisation du fait d'un changement de vue.      *
 *                                                                             *
@@ -519,7 +519,7 @@ static void compute_glance_scale(GGlancePanel *panel)
 *                                                                             *
 ******************************************************************************/
 
-static void update_glance_panel_for_view_content(GGlancePanel *panel, GtkViewPanel *view)
+static void update_glance_panel_for_view_content(GGlancePanel *panel, GtkDisplayPanel *display)
 {
     cairo_t *cairo;                         /* Assistant pour le dessin    */
     GtkAllocation area;                     /* Dimension de la surface     */
@@ -542,7 +542,7 @@ static void update_glance_panel_for_view_content(GGlancePanel *panel, GtkViewPan
     area.width = panel->painting.width;
     area.height = panel->painting.height;
 
-    gtk_view_panel_cache_glance(view, cairo, &area, panel->scale);
+    gtk_display_panel_cache_glance(display, cairo, &area, panel->scale);
 
     cairo_destroy(cairo);
 
@@ -708,7 +708,7 @@ static gboolean on_button_press_over_glance(GtkWidget *widget, GdkEventButton *e
     GtkAdjustment *vadj;                    /* Gestionnaire du défilement  */
     GdkCursor *cursor;                      /* Pointeur pour la surface    */
 
-    if (panel->view != NULL && event->button == 1)
+    if (panel->display != NULL && event->button == 1)
     {
         panel->start_x = event->x;
         panel->start_y = event->y;
@@ -754,7 +754,7 @@ static gboolean on_button_press_over_glance(GtkWidget *widget, GdkEventButton *e
 
 static gboolean on_button_release_over_glance(GtkWidget *widget, GdkEventButton *event, GGlancePanel *panel)
 {
-    if (panel->view != NULL && event->button == 1)
+    if (panel->display != NULL && event->button == 1)
     {
         if (panel->valid)
             gdk_window_set_cursor(gtk_widget_get_window(widget), NULL);
@@ -788,7 +788,7 @@ static gboolean on_mouse_motion_over_glance(GtkWidget *widget, GdkEventMotion *e
     GtkAdjustment *vadj;                    /* Gestionnaire du défilement  */
     gdouble value;                          /* Nouvelle valeur bornée      */
 
-    if (panel->view != NULL && event->state & GDK_BUTTON1_MASK && panel->valid)
+    if (panel->display != NULL && event->state & GDK_BUTTON1_MASK && panel->valid)
     {
         diff_x = (event->x - panel->start_x) / panel->scale;
         diff_y = (event->y - panel->start_y) / panel->scale;
diff --git a/src/gui/panels/strings.c b/src/gui/panels/strings.c
index a651fff..7a927df 100644
--- a/src/gui/panels/strings.c
+++ b/src/gui/panels/strings.c
@@ -586,7 +586,7 @@ static void on_strings_selection_change(GtkTreeSelection *selection, GStringsPan
     GtkTreeModel *model;                    /* Modèle de gestion           */
     GBinSymbol *symbol;                     /* Symbole en cours d'étude    */
     const vmpa2t *addr;                     /* Adressse associée au signet */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *display;               /* Afficheur effectif de code  */
 
     if (gtk_tree_selection_get_selected(selection, &model, &iter))
     {
@@ -594,8 +594,8 @@ static void on_strings_selection_change(GtkTreeSelection *selection, GStringsPan
 
         addr = get_mrange_addr(g_binary_symbol_get_range(symbol));
 
-        vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
-        gtk_view_panel_request_move(vpanel, addr);
+        display = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
+        gtk_display_panel_request_move(display, addr);
 
         g_object_unref(G_OBJECT(symbol));
 
@@ -816,7 +816,7 @@ static gboolean on_button_event_over_strings(GtkWidget *widget, GdkEventButton *
     GtkTreeModel *model;                    /* Modèle de gestion           */
     GBinSymbol *symbol;                     /* Symbole en cours d'étude    */
     const vmpa2t *addr;                     /* Adressse associée au signet */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *display;               /* Afficheur effectif de code  */
 
     switch (event->button)
     {
@@ -833,8 +833,8 @@ static gboolean on_button_event_over_strings(GtkWidget *widget, GdkEventButton *
 
                 addr = get_mrange_addr(g_binary_symbol_get_range(symbol));
 
-                vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
-                gtk_view_panel_request_move(vpanel, addr);
+                display = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
+                gtk_display_panel_request_move(display, addr);
 
                 g_object_unref(G_OBJECT(symbol));
 
@@ -1034,7 +1034,7 @@ static void mcb_strings_panel_find_refs(GtkMenuItem *menuitem, GStringsPanel *pa
     GObject *ref;                           /* Espace de référencements    */
     GtkWidget *dialog;                      /* Boîte de dialogue à montrer */
     vmpa2t *addr;                           /* Adresse de destination      */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *display;               /* Afficheur effectif de code  */
 
     symbol = get_selected_panel_symbol(panel->treeview, NULL);
     if (symbol == NULL) return;
@@ -1059,8 +1059,8 @@ static void mcb_strings_panel_find_refs(GtkMenuItem *menuitem, GStringsPanel *pa
     {
         addr = get_address_from_gotox_dialog(dialog);
 
-        vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
-        gtk_view_panel_request_move(vpanel, addr);
+        display = g_editor_item_get_current_view(G_EDITOR_ITEM(panel));
+        gtk_display_panel_request_move(display, addr);
 
         delete_vmpa(addr);
 
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));
 
diff --git a/src/gui/tb/portions.c b/src/gui/tb/portions.c
index afe78b3..3014de8 100644
--- a/src/gui/tb/portions.c
+++ b/src/gui/tb/portions.c
@@ -241,12 +241,12 @@ static void update_portions_item_binary(GEditorItem *item, GLoadedBinary *binary
 static void track_address_on_binary_strip(GtkBinaryStrip *strip, GEditorItem *item)
 {
     const vmpa2t *addr;                     /* Nouvelle destination        */
-    GtkViewPanel *vpanel;                   /* Afficheur effectif de code  */
+    GtkDisplayPanel *panel;                 /* Afficheur effectif de code  */
 
     addr = gtk_binary_strip_get_location(strip);
 
-    vpanel = g_editor_item_get_current_view(item);
-    gtk_view_panel_request_move(vpanel, addr);
+    panel = g_editor_item_get_current_view(item);
+    gtk_display_panel_request_move(panel, addr);
 
     focus_address_in_editor_items(g_editor_item_get_current_binary(item), addr, item);
 
diff --git a/src/gui/tb/source.c b/src/gui/tb/source.c
index 02ed643..504c532 100644
--- a/src/gui/tb/source.c
+++ b/src/gui/tb/source.c
@@ -69,7 +69,7 @@ static void g_source_tbitem_finalize(GSourceTbItem *);
 static void update_source_item_binary(GEditorItem *, GLoadedBinary *);
 
 /* Réagit à un changement de panneau d'affichage courant. */
-static void update_source_item_view(GEditorItem *, GtkViewPanel *);
+static void update_source_item_view(GEditorItem *, GtkDisplayPanel *);
 
 /* Réagit à un changement de sélection de la source courante. */
 static void change_selected_source(GtkComboBox *, GSourceTbItem *);
@@ -269,8 +269,8 @@ static void update_source_item_binary(GEditorItem *item, GLoadedBinary *binary)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : item = élément réactif sollicité.                            *
-*                view = nouveau panneau d'affichage actif.                    *
+*  Paramètres  : item  = élément réactif sollicité.                           *
+*                panel = nouveau panneau d'affichage actif.                   *
 *                                                                             *
 *  Description : Réagit à un changement de panneau d'affichage courant.       *
 *                                                                             *
@@ -280,9 +280,9 @@ static void update_source_item_binary(GEditorItem *item, GLoadedBinary *binary)
 *                                                                             *
 ******************************************************************************/
 
-static void update_source_item_view(GEditorItem *item, GtkViewPanel *view)
+static void update_source_item_view(GEditorItem *item, GtkDisplayPanel *panel)
 {
-    gtk_widget_set_sensitive(item->widget, GTK_IS_SOURCE_VIEW(view));
+    gtk_widget_set_sensitive(item->widget, GTK_IS_SOURCE_VIEW(panel));
 
 }