diff options
Diffstat (limited to 'src/gui/menus/edition.h')
| -rw-r--r-- | src/gui/menus/edition.h | 4 |
1 files changed, 2 insertions, 2 deletions
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 *); |