editor/libeditor/crashtests/1381541.html

   1 <!DOCTYPE html>
   2 <html>
   3   <head>
   4     <script type="application/javascript">
   5       var editable = document.createElement('div');
   6       document.documentElement.appendChild(editable);
   7       editable.contentEditable = 'true';
   8       var div = document.createElement('div');
   9       document.documentElement.appendChild(div);
  10       // Flush content
  11       div.offsetLeft;
  12       document.execCommand('styleWithCSS', false, true);
  13
  14       var range = new Range();
  15       window.getSelection().addRange(range);
  16       range.setStart(document.createTextNode(''), 0);
  17       document.queryCommandState('backcolor');
  18     </script>
  19   </head>
  20 </html>