> [Change of font data structure to be a sorted list and use special characters
> to represent font change points]
More discussion:
The change will increase memory consumption, although only minimally.
Regarding the argument that it will be possible to get the proper font
change by being able to move around the special character, this is a
dual edged sword: It will also make it slower to navigate your document,
because you have to move over more characters.
I think it's difficult to decide which approach is better without trying.
I understood that you had a patch already. Then, the best is probably
to try it after 1.1.5, and see what people think when they have to use it.
I would, however, suggest to make the dot grey rather than red in order
to make it less intrusive. After all, the content of your writing is
still more important than the formatting.
Also, I have a feeling that it's the wrong approach. What problem are you
*really* trying to solve? Is it that difficult to control the formatting
of text? Would it not be enough just to modify the semantics of font
changes a bit?
For instance, say that spaces around a font change are miminal:
I.e. enforce that stuff like
This is\bold{ BOLD}.
would per default be reduced to
This is \bold{BOLD}.
such that spaces want to be default font, unless told explicitly
to be otherwise.
I admit that I don't understand what the exact problem is, and
therefore it's hard to judge either way on the proposed approach.
Greets,
Asger
