summaryrefslogtreecommitdiff
path: root/src/gui/menus/edition.h
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2016-11-11 21:22:38 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2016-11-11 21:22:38 (GMT)
commitdb934f20598340772f8c0256c8a8119790a1821e (patch)
treed03e57cc5fc953fc3e7653da74a8c58fd310de5d /src/gui/menus/edition.h
parent2df715e74d6600ed0a5688a43f6ecd873957326a (diff)
Prepared the new organization of display widgets.
Diffstat (limited to 'src/gui/menus/edition.h')
-rw-r--r--src/gui/menus/edition.h4
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 *);