> 1. The paragraph stores a vector (FontList) of pairs (position, font),
> sorted by positions, containing the positions in the paragraph in which the font
> changes, and the corresponding fonts.
You don't even need the position. The information is implicitly contained
in the rest of the structure. OTOH, storing the position *might* speed
up thing when you need random access.
Well, I doubt that fast random access is needed. Inserting and deleting
characters at the cursor should be the operation done most often.
This is faster if you do not have to bother with updating the position
field in the font vector.
> This chars are rendered on the screen (for example, a small red dot).
I like this idea.
> The only disadvantage is that it will give a different
> UI which will need getting used to.
If you make the rendering optional by a lyxrc switch,
even the traditionalists should not feel offended ;-)
Andre'
--
It'll take a long time to eat 63.000 peanuts.
André Pönitz ......................... [EMAIL PROTECTED]
