set(gdk_gc, &c);
color[index] = c;  GdkColor gdk_c; gdk_c.red = c.red * (65535/255); gdk_c.green = c.green * (65535/255); gdk_c.blue = c.blue * (65535/255); gdk_c.pixel = c.red * 65536 + c.green * 256 + c.blue;
    void setColor(const GdkColor& c)    {      set(gdk_gc, &c);            // Set the color for Xft, note that we reuse the same pixel field      // so that we don't need to reallocate the color      xft_color[index].color.red = c.red;      xft_color[index].color.green = c.green;      xft_color[index].color.blue = c.blue;      xft_color[index].color.alpha = 0xffff;      xft_color[index].pixel = c.pixel;    }