+
+GdkColor drawing_colors[NUM_COLORS] =
+{ /* Pixel, R, G, B */
+ { 0, 0, 0, 0 }, /* COL_BLACK */
+ { 0, 0xFFFF, 0xFFFF, 0xFFFF }, /* COL_WHITE */
+ { 0, 0x0fff, 0xffff, 0xfff0 }, /* COL_WAIT_FORK */
+ { 0, 0xffff, 0xffff, 0x0000 }, /* COL_WAIT_CPU */
+ { 0, 0xffff, 0x0000, 0xffff }, /* COL_EXIT */
+ { 0, 0xffff, 0x0000, 0x0000 }, /* COL_WAIT */
+ { 0, 0x0000, 0xffff, 0x0000 } /* COL_RUN */
+};
+
+
+