Ticket #9022: 9022_2.patch

_source/plugins/selection/plugin.js

@@ -457 +457 @@
                                                                         {
                                                                                 html.removeListener( 'mousemove', onHover );
                                                                                 evt.removeListener();
-                                                                                textRng.select();
-                                                                                textRng = null;
                                                                         } );
                                                                 }
                                                         });