diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2019-01-23 20:16:14 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2019-01-23 20:16:14 (GMT) |
commit | d0a287a4e57b299cec22c94b028e3553d5b36fcd (patch) | |
tree | 86a274d6c894ec6506f0b5d55436d958a556f9fc /src/gtkext/gtkbufferdisplay.h | |
parent | f251814cf0fd10a767972530c119f8f109613c48 (diff) |
Prepared a toolbar for actions on basic blocks.
Diffstat (limited to 'src/gtkext/gtkbufferdisplay.h')
-rw-r--r-- | src/gtkext/gtkbufferdisplay.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/gtkext/gtkbufferdisplay.h b/src/gtkext/gtkbufferdisplay.h index 73fbbde..6c6c8b5 100644 --- a/src/gtkext/gtkbufferdisplay.h +++ b/src/gtkext/gtkbufferdisplay.h @@ -67,4 +67,12 @@ bool gtk_buffer_display_move_caret_to(GtkBufferDisplay *, bool, gint *); +/* ------------------------- INCLUSION D'UNE BARRE D'OUTILS ------------------------- */ + + +/* Ajoute une nouvelle barre d'outils pour bloc au composant. */ +void gtk_buffer_display_add_block_bar(GtkBufferDisplay *); + + + #endif /* _GTKEXT_GTKBUFFER_DISPLAY_H */ |