rangesets

[Tony Balinski]

Quoting "A.V.Kuznetsov" <kuzn at umps.mephi.ru>:

> Thank you, Tony!
>
> >
> > The short answer is (a).
>
> One more sample, that Nedit attracts an optimal solution!
>
> > Does that help?
>
> YES! I think, this question may be clarified in manual.

Could you read the suggested text at
http://www.nedit.org/niki/index.php/RangesetDocThree and tell me what
you think? It doesn't talk about position sets, but I think gives the
same ideas.

> One useful mode is absent among rangeset modes.
> It can be named as destroy mode: any changes inside a range
> or at it's boundaries remove it from the set.
> For example, rangeset is used to highlight misspelled words,
> you find a typo and correct it retyping a word. Highlighting
> must be removed, but this cannot be done using existing modes.
>
> Is it possible to implement destroy mode in future?

These are modes I wanted to have when I implemented rangesets way back...
one to remove any range affected by a modification, another to empty the
set completely. The problem is that the rangesets are modified using a
callback, with the same arguments as the screen refresh range, so if I
destroyed the range beyond where the text was modified, this fact would
not be reflected by the screen update. I didn't find a solution at the
time (I did not want to add a refresh with a timer), and haven't
revisited the question in ages. So that's why these two modes aren't
there.

Tony