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.c | |
parent | f251814cf0fd10a767972530c119f8f109613c48 (diff) |
Prepared a toolbar for actions on basic blocks.
Diffstat (limited to 'src/gtkext/gtkdisplaypanel.c')
-rw-r--r-- | src/gtkext/gtkdisplaypanel.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/gtkext/gtkdisplaypanel.c b/src/gtkext/gtkdisplaypanel.c index e548bf7..010d648 100644 --- a/src/gtkext/gtkdisplaypanel.c +++ b/src/gtkext/gtkdisplaypanel.c @@ -33,10 +33,6 @@ -/* Amplitude de l'arrondi pour les coins */ -#define BORDER_CORNER_RADIUS 10.0 - - /* Procède à l'initialisation de l'afficheur générique. */ static void gtk_display_panel_class_init(GtkDisplayPanelClass *); |