On 7/27/06, Piotr Kalinowski <pitkali at gmail.com> wrote: > Hmm, curious. I'll take a look later today and hopefully fix it. Thanks! If it's not hard, could you also look why // comments are not recognized as such? (enable font lock and you'll see it)