marabou wrote:
> > is there a way to make color_maps translucent?> i thought about something like rgbf in pigments.> nothing was found in documentation.> any tips or links?> > thanks in advance.
completion: i do not mean to add rgbf to single colors in map, but to
make translucent the whole map.
