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 _______________________________________________ Help-source-highlight mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-source-highlight
