[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Dario Teixeira
Subject: Re: [Help-source-highlight] Translation map for style names
Date: Mon, 22 Feb 2010 12:52:38 -0800 (PST)


> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]