Re: [Help-source-highlight] Translation map for style names

[Dario Teixeira]

Hi,

> actually I never felt the need for such feature.  I
> see two possible solutions to this:
> 
> (...)
> I'll try also to see how hard/easy would be to add such
> feature.... but I see your context as very ad-hoc, isn't
> it?

Thanks for the reply.  As noted, this problem is easily circumvented
by writing a small post-processing filter, and this is the solution
I am using right now.  I was just curious if Source-highlight offered
some other approach...

Best regards,
Dario Teixeira