Abdelrazak Younes wrote: > a difference. Also we ask the text edit to reload a big file at each > keystroke while we merely paint the current line; not a fair comparison :-)
i think that it doesn't make sense to have checked full source listing unless you want to look on something in preamble. having full source rendering not usable with online typing is imho not issue. pavel
