diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-01-17 13:45:49 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-01-17 19:06:08 (GMT) |
commit | d13bccd74759cd1c63a2036c279f04d9f052ecf3 (patch) | |
tree | adbd0b9d915748a2b46070282c07b3f16033d89e /src/gui/menus/edition.h | |
parent | 52ac5b1b340335f56ceb599dba63164a26f10b10 (diff) |
Updated access to the Edition menu based on the current selection.
Diffstat (limited to 'src/gui/menus/edition.h')
-rw-r--r-- | src/gui/menus/edition.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gui/menus/edition.h b/src/gui/menus/edition.h index b430a8b..82a48bd 100644 --- a/src/gui/menus/edition.h +++ b/src/gui/menus/edition.h @@ -30,12 +30,16 @@ #include "menubar.h" +#include "../../gtkext/gtkbufferview.h" /* Construit le menu "Edition". */ 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 *); + #endif /* _GUI_MENUS_EDITION_H */ |