April 27, 2011
1:03 p.m.
12351 ----- Issue 4078: New TextEditor mouse selection broken -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.