Ticket #4714: plugin_js.diff

plugin.js

@@ -808 +808 @@
                                 }
                                 catch(e)
                                 {
-                                        // If failed, select it as a text range.
-                                        range = this.document.$.body.createTextRange();
-                                        range.moveToElementText( element.$ );
-                                        range.select();
+                                        try // XXX: Ariel hack #23976
+                                        {
+                                                // If failed, select it as a text range.
+                                                range = this.document.$.body.createTextRange();
+                                                range.moveToElementText( element.$ );
+                                                range.select();
+                                        }
+                                        catch(e)
+                                        {
+                                                // If failed, nothing.
+                                        }
                                 }
 
                                 this.reset();