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

[João Távora]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> So adding a text property for the line numbers's face would (in
> the worst case)

AFAIU the "very worst case": where some application user wants the line
number face to change for every line.  That's not at all the application
I had in mind, and at any rate seems like a "pay for what you use"
thing.  This seems perfectly reasonable to me, just as reasonable as
supporting overlays: if you don't want to suffer overlay-related
slowdown, don't use packages that use them.  They're pretty nifty
rhough.

João