diff --git a/common/utils/T/tracer/gui/gui.h b/common/utils/T/tracer/gui/gui.h index b1321c1e49..a26f9a77e2 100644 --- a/common/utils/T/tracer/gui/gui.h +++ b/common/utils/T/tracer/gui/gui.h @@ -9,6 +9,9 @@ typedef void widget; #define HORIZONTAL 0 #define VERTICAL 1 +#define BACKGROUND_COLOR 0 +#define FOREGROUND_COLOR 1 + gui *gui_init(void); /* position = -1 to put at the end */ diff --git a/common/utils/T/tracer/gui/x.h b/common/utils/T/tracer/gui/x.h index 165785923c..c1f8d33d89 100644 --- a/common/utils/T/tracer/gui/x.h +++ b/common/utils/T/tracer/gui/x.h @@ -3,9 +3,6 @@ /* public X interface */ -#define BACKGROUND_COLOR 0 -#define FOREGROUND_COLOR 1 - typedef void x_connection; typedef void x_window;