List of usage examples for com.google.gwt.dom.client Document createHeadElement
public HeadElement createHeadElement()
From source file:org.rstudio.core.client.patch.DiffMatchPatch.java
License:Open Source License
private static void injectJavascript(String source) { Document doc = Document.get(); HeadElement head = (HeadElement) doc.getElementsByTagName("head").getItem(0); if (head == null) { head = doc.createHeadElement(); doc.insertBefore(head, doc.getBody()); }//from w w w . j a v a 2s . c o m ScriptElement script = doc.createScriptElement(source); script.setType("text/javascript"); head.appendChild(script); }