From: Kjell M. F. <kj...@gm...> - 2008-08-26 15:40:38
|
On Tue, Aug 26, 2008 at 9:58 AM, Waylan Limberg <wa...@gm...> wrote: > Thanks Kjell. I suspected it was something like that. I just haven't > had the time to work on it. I was thinking perhaps I would have the > highlighter return the highlighted source without a div wrapping it, > then we could place that within a ET generated div. IIRC, there is a > way to get pygments to do that, but I couldn't tell you off the top of > my head what it is. If you want to give that a shot - feel free. > Otherwise I'll get to it when I have the time. > I now think I have found a fix. You can find the code attached. I am not familiar with Git, so I'm not sure if the patch is correctly formatted. Regards, Kjell Magne Fauske |