Example usage for com.google.gwt.dom.client Document createHeadElement

List of usage examples for com.google.gwt.dom.client Document createHeadElement

Introduction

In this page you can find the example usage for com.google.gwt.dom.client Document createHeadElement.

Prototype

public HeadElement createHeadElement() 

Source Link

Usage

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);
}