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/gtkdisplaypanel-int.h | |
parent | f251814cf0fd10a767972530c119f8f109613c48 (diff) |
Prepared a toolbar for actions on basic blocks.
Diffstat (limited to 'src/gtkext/gtkdisplaypanel-int.h')
-rw-r--r-- | src/gtkext/gtkdisplaypanel-int.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gtkext/gtkdisplaypanel-int.h b/src/gtkext/gtkdisplaypanel-int.h index 7d64925..62c990e 100644 --- a/src/gtkext/gtkdisplaypanel-int.h +++ b/src/gtkext/gtkdisplaypanel-int.h @@ -37,6 +37,10 @@ +/* Amplitude de l'arrondi pour les coins */ +#define BORDER_CORNER_RADIUS 10.0 + + /* Indique les dimensions de travail du composant d'affichage. */ typedef void (* compute_requested_size_fc) (GtkDisplayPanel *, gint *, gint *); |