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-int.h | |
parent | f251814cf0fd10a767972530c119f8f109613c48 (diff) |
Prepared a toolbar for actions on basic blocks.
Diffstat (limited to 'src/gtkext/gtkbufferdisplay-int.h')
-rw-r--r-- | src/gtkext/gtkbufferdisplay-int.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gtkext/gtkbufferdisplay-int.h b/src/gtkext/gtkbufferdisplay-int.h index c84f6d5..b4b64d0 100644 --- a/src/gtkext/gtkbufferdisplay-int.h +++ b/src/gtkext/gtkbufferdisplay-int.h @@ -49,6 +49,9 @@ struct _GtkBufferDisplay guint caret_timer; /* Identifiant du chronomètre */ bool show_caret; /* Bascule entre les affichages*/ + GtkBuilder *builder; /* Constructeur à manipuler */ + GtkWidget *bar; /* Barre d'outils intégrée */ + }; /* Composant d'affichage de tampon de lignes (classe) */ |