Ticket #7037: 7037.patch

_source/plugins/styles/plugin.js

@@ -895 +895 @@
 
                 var block;
                 while ( ( block = iterator.getNextParagraph() ) )
-                        this.checkElementRemovable( block ) && removeFromElement( this, block, 1 );
+                {
+                        if ( this.checkElementRemovable( block ) )
+                        {
+                                // <pre> get special treatment.
+                                if ( block.is( 'pre' ) )
+                                {
+                                        var newBlock = range.document.createElement(
+                                                        this._.enterMode == CKEDITOR.ENTER_P ? 'p' : 'div' );
+                                        block.copyAttributes( newBlock );
+                                        replaceBlock( block, newBlock );
+                                }
+                                else
+                                         removeFromElement( this, block, 1 );
+                        }
+                }
 
                 range.moveToBookmark( bookmark );
         }