Ok, thanks for that Edward, will be looking forward your conclusions. On Friday, May 17, 2013 4:01:49 PM UTC+2, Edward K. Ream wrote: > > On Wed, May 15, 2013 at 11:25 AM, Edward K. Ream > <[email protected]<javascript:> > > wrote: > >> On Tue, May 14, 2013 at 11:19 AM, Fidel Pérez >> <[email protected]<javascript:> >> > wrote: >> >>> What references do we have as constants now? >> >> >> Good question. At present, I don't know and don't remember. I'm going >> to study all off this asap. >> > > First of all, the following threads discusses p.deletePositionsInList: > > https://groups.google.com/forum/?fromgroups#!topic/leo-editor/t7jTQZZpF9I > > https://groups.google.com/forum/?fromgroups#!topic/leo-editor/CqjZ0X9jALg > > p.deletePositionsInList may well have problems. The only way to know for > sure is to develop a suite of unit tests. They don't exist at present. > > Leo's docs don't say enough about positions and the position class. This > is unfortunate, both for typical users and potential maintainers. I'll > start work on a full and *accurate* description of positions next. This > will require some explanatory scripts to be sure I have the details correct > myself. > > In short, some programming work is needed, both for testing and > explanation. I'll do that next. > > Edward >
-- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.
