--- a/src/cm/media/js/site/c_text_view_comments.js	Mon Oct 21 16:50:41 2013 +0200
+++ b/src/cm/media/js/site/c_text_view_comments.js	Wed Oct 30 18:08:42 2013 +0100
@@ -164,6 +164,10 @@
   }
 } ;
 
+// safari_mobile defined in media/js/client/c_sync.js
+if (safari_mobile)
+	onSelectionChange = onTextMouseUp;
+
 gLastScrollTime = null ;
 checkForAlignement = function () {
   var now = (new Date()).getTime() ;