return pixel_value;
}
+#if defined(TARGET_X11_NATIVE)
inline Pixel X11GetPixelFromRGB(unsigned int color_r, unsigned int color_g,
unsigned int color_b)
{
return pixel;
}
+#endif /* TARGET_X11_NATIVE */
+
/* ------------------------------------------------------------------------- */
/* mouse pointer functions */