--- Comment #2 from Andreas L. Delmelle <[EMAIL PROTECTED]>  2008-05-08 
16:49:05 PST ---
Note: just discovered that there is currently also a slight inefficiency in the
way inline ids are added to the page. addId() gets called for every line
spanned by the inline.
Will need to look into how we can avoid that, since the page viewport list in
idTracker fills up with duplicates, and only the first one gets removed upon

I've just committed a temporary hack to at least avoid the creation of
duplicates in the List.

Configure bugmail:
------- You are receiving this mail because: -------
You are the assignee for the bug.

Reply via email to