colormap corresponding to the given
hardware pixel pixel. pixel must be a valid pixel in the
colormap; it's a programmer error to call this function with a
pixel which is not in the colormap. Hardware pixels are normally
obtained from gdkColormapAllocColors, or from a gdkColormapQueryColor(object, pixel)