Re: rmsbolt.el [Was: Colorful line numbers]

[Stefan Monnier]

> The big difference from my POV is that text properties slow down
> redisplay code

If that's indeed a problem, then maybe we should provide "non-display
text-properties".  I.e. text-properties which do not influence the
display, so we can store them in a parallel interval tree (tho
we'd have to check whether the source of the slowdown is the interval
tree itself or the length of the `plist`s stored in its nodes, so maybe
we could have a single tree but with two `plist` fields, one for
display-related properties and the other for non-display-related
properties).


        Stefan