edwin leuven wrote: > i tried it and i don't observe any problems and think this should go in (we > don't want to redraw the table 50 times when setting a selection...)
Agreed, but I think we need to redraw when: 1. we have two consecutive spaces and we click somewhere so that dePM triggers 2. we have an empty paragraph and we do the above I'm picking on this because I'm just fixing a crash where we didn't update after mouse click in the main text (and case 2 resulted in a crash). Jürgen
