--- a/src/cm/media/js/client/c_selection.js	Wed Oct 30 18:09:34 2013 +0100
+++ b/src/cm/media/js/client/c_selection.js	Thu Oct 31 11:49:30 2013 +0100
@@ -31,6 +31,7 @@
   var startNode = null, endNode = null, startOffset = 0, endOffset = 0, text = '' ;
   
   if (window.getSelection) { // everything else than IE
+	// SID: if on safari_mobile get the previous meaningfull selection from a global variable set in text_view_comments.html
     var userSelection = safari_mobile ? storedSelection : window.getSelection ();
 
     if (userSelection.rangeCount > 0) {