diff options
Diffstat (limited to 'src/gui/menus')
| -rw-r--r-- | src/gui/menus/edition.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/gui/menus/edition.c b/src/gui/menus/edition.c index 5e7b003..fc23f49 100644 --- a/src/gui/menus/edition.c +++ b/src/gui/menus/edition.c @@ -91,7 +91,7 @@ static void mcb_edition_goto(GtkMenuItem *menuitem, GMenuBar *bar) { GObject *ref; /* Espace de référencements */ GtkWidget *dialog; /* Boîte de dialogue à montrer */ - vmpa_t addr; /* Adresse de destination */ + vmpa2t *addr; /* Adresse de destination */ GtkViewPanel *vpanel; /* Afficheur effectif de code */ ref = g_editor_item_get_global_ref(G_EDITOR_ITEM(bar)); @@ -104,6 +104,8 @@ static void mcb_edition_goto(GtkMenuItem *menuitem, GMenuBar *bar) vpanel = g_editor_item_get_current_view(G_EDITOR_ITEM(bar)); gtk_view_panel_scroll_to_address(vpanel, addr); + delete_vmpa(addr); + } gtk_widget_destroy(dialog); |