Ticket #3785: 3785_2.patch

_source/core/tools.js

@@ -227 +227 @@
                                 return span.getHtml();
                         };
 
-                        this.htmlEncode = ( standard( '>' ) == '>' ) ?
+                        var fix1 = ( standard( '>' ) == '>' ) ?
                                 function( text )
                                 {
                                         // WebKit does't encode the ">" character, which makes sense, but
@@ -236 +236 @@
                                 } :
                                 standard;
 
+                        var fixNbsp = / /g;
+                        var fix2 = ( standard( '  ' ) == '  ' ) ?
+                                function( text )
+                                {
+                                        // #3785
+                                        // IE8 returns changes spaces (>= 2) to  
+                                        return fix1( text ).replace( fixNbsp, ' ' );
+                                } :
+                                fix1;
+
+                        this.htmlEncode = fix2;
+
                         return this.htmlEncode( text );
                 },