Ticket #7784: 7784.patch

_source/plugins/stylesheetparser/plugin.js

@@ -102 +102 @@
                                 // Do this only once
                                 e.removeListener();
 
-                                editor.getStylesSet( function( stylesDefinitions )
-                                        {
-                                                        // Rules that must be skipped
-                                                var skipSelectors = editor.config.stylesheetParser_skipSelectors || ( /(^body\.|^\.)/i ),
-                                                        // Rules that are valid
-                                                        validSelectors = editor.config.stylesheetParser_validSelectors || ( /\w+\.\w+/ );
+                                // Use a delay before parsing the stylesheet to avoid errors with Firefox 4. #7784
+                                window.setTimeout( function() {
+                                        editor.getStylesSet( function( stylesDefinitions )
+                                                {
+                                                                // Rules that must be skipped
+                                                        var skipSelectors = editor.config.stylesheetParser_skipSelectors || ( /(^body\.|^\.)/i ),
+                                                                // Rules that are valid
+                                                                validSelectors = editor.config.stylesheetParser_validSelectors || ( /\w+\.\w+/ );
 
-                                                // Add the styles found in the document
-                                                editor._.stylesDefinitions = stylesDefinitions.concat( LoadStylesCSS( editor.document.$, skipSelectors, validSelectors ) );
+                                                        // Add the styles found in the document
+                                                        editor._.stylesDefinitions = stylesDefinitions.concat( LoadStylesCSS( editor.document.$, skipSelectors, validSelectors ) );
 
-                                                // Refresh the styles combo
-                                                var combo = editor.ui._.items[ 'Styles' ];
-                                                combo && combo.args[ 0 ].reset();
-                                        } );
+                                                        // Refresh the styles combo
+                                                        var combo = editor.ui._.items[ 'Styles' ];
+                                                        combo && combo.args[ 0 ].reset();
+                                                } );
+                                }, 0);
                         });
 
                 }