Stefan Schimanski wrote:
Am 23.12.2007 um 21:34 schrieb Abdelrazak Younes:
You are probably confused by the fact that we do both caching right
now, in the coord cache (which we should get rid of) and in the
ParagraphMetrics (see setInsetDimension).
No, no. It's clear to me. For the insets directly inside of paragraphs
the latter is fine. But I don't see how this kind of cache could work
for insets which are not in the paragraphs directly:
If you have any kind of InsetText (like a note inset) in some
(cursor-) slice pointing to e.g. a math inset, there will be two
ParagraphMetrics involved then. So some kind of (BufferView-) global
coord cache will be still needed.
For now yes.
Or one always uses coordinates relative to the inner paragraph. You
said something about relative coordinates. Is this what you plan?
Yes.
I like the idea. That would allow proper scrolling without redoing the
whole screen metrics for example, while still reducing the affected
code by such a change to the text/paragraph metrics.
Exactly ;-)
Abdel.
