Closed GoogleCodeExporter closed 8 years ago
Thanks for the bug report. I removed the calls to modify-face. Let me know if
the new fontification is still causing problems for you.
Original comment by issac.tr...@gmail.com
on 27 Dec 2010 at 3:57
Original issue reported on code.google.com by
lord...@gmail.com
on 30 Jun 2010 at 1:51