Ticket #5595: 5595.patch

_source/plugins/htmlwriter/plugin.js

@@ -99 +99 @@
                 // Disable indentation on <pre>.
                 this.setRules( 'pre',
                         {
+                          breakAfterOpen : false,
                           indent: false
                         });
         },

_source/core/dom/element.js

@@ -333 +333 @@
                 {
                         var retval = this.$.innerHTML;
                         // Strip <?xml:namespace> tags in IE. (#3341).
-                        return CKEDITOR.env.ie ? retval.replace( /<\?[^>]*>/g, '' ) : retval;
+                        retval = CKEDITOR.env.ie ? retval.replace( /<\?[^>]*>/g, '' ) : retval;
+                        // Browsers strip leading space inside <pre>,
+                        // compensate it even it's no there originally,
+                        // it will not have any visual impact. (#5595)
+                        return retval.replace( /<pre>/gi, '$&\n' );
                 },
 
                 getOuterHtml : function()