Juergen Spitzmueller wrote: > OK?
According to what Alfredo told about cursor positions lately it looks fine.
BTW, you don't happen to know what all these lines
//if (hasSelection())
// cur.selection() = false;
where supposed to do? because we use cur.selection() as a replacement for
hasSelection() now...
Georg
