Prepared the new organization of display widgets.

7 files changed, 64 insertions, 64 deletions

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