+/* Internal function: parses a glk color to a GdkColor */
+void
+glkcolor_to_gdkcolor(glui32 val, GdkColor *color)
+{
+ color->red = 256 * ((val & 0xff0000) >> 16);
+ color->green = 256 * ((val & 0x00ff00) >> 8);
+ color->blue = 256 * (val & 0x0000ff);
+}
+