diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2016-02-10 20:16:25 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2016-02-10 20:16:25 (GMT) |
| commit | 61b7967d5031e0724ac8d02694ff58505818a5a0 (patch) | |
| tree | 4b9ea233e61ee9e688fd29e93a8061732a755e6e /src/gui/menus/edition.h | |
| parent | abc912f8500312c888832ff521d3dd17d8b2c613 (diff) | |
Refreshed all menu accesses in a better way.
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 82a48bd..8be50f8 100644 --- a/src/gui/menus/edition.h +++ b/src/gui/menus/edition.h @@ -30,7 +30,7 @@ #include "menubar.h" -#include "../../gtkext/gtkbufferview.h" +#include "../../gtkext/gtkviewpanel.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 *, GtkBufferView *, const vmpa2t *); +void update_access_in_menu_edition(GObject *, GtkViewPanel *, const vmpa2t *); |