Ticket #8023: 8023.patch

_source/core/dom/element.js

@@ -1244 +1244 @@
                                         this.$.style.KhtmlUserSelect = 'none';
                                         this.on( 'dragstart', function( evt ) { evt.data.preventDefault(); } );
                                 }
+                        : CKEDITOR.env.ie ?
+                                function()
+                                {
+                                        this.on( 'selectstart', function( evt ) { evt.data.preventDefault(); } )
+                                }
                         :
                                 function()
                                 {
-                                        if ( CKEDITOR.env.ie || CKEDITOR.env.opera )
+                                        if ( CKEDITOR.env.opera )
                                         {
                                                 var element = this.$,
                                                         e,

_source/themes/default/theme.js

@@ -155 +155 @@
                                         '</span>' +
                                 '</span>' ].join( '' ) );
 
-                        container.getChild( [1, 0, 0, 0, 0] ).unselectable();
-                        container.getChild( [1, 0, 0, 0, 2] ).unselectable();
+                        container.unselectable();
 
                         if ( elementMode == CKEDITOR.ELEMENT_MODE_REPLACE )
                                 container.insertAfter( element );