text selection

[Alfredo Braunstein]

the new mouse text selection behaviour is cool (!)

one problem: start selecting outside an inset, go inside -> crash.

Alfredo