[poppler] Seeking development aids: Conversion colorspace -> SplashColorMode

[Christian Feuersaenger]

Dear developers,

as part of a patch for shaders (compare the related postings), I need to 
convert a given GfxColor (with well-known GfxColorSpace) to a 
SplashColorMode.

Is there a standard procedure of the form

gfxColorToSplashColor( GfxColorSpace* inputColorSpace, GfxColor* input,  
SplashColorMode outputMode, GuChar* output ) ?

I failed to find one so far, so I intent to write a helper routine which 
does it by means of the GfxColorSpace::getRGB() and its friends and 
switch statements. But if there is already a tested alternative 
solution, I will prefer it.

Thanks.

Best regards

Christian