Examples with PreElement com.google.gwt.dom.client.PreElement used on opensource projects

Example 11 with PreElement

use of com.google.gwt.dom.client.PreElement in project che by eclipse.

the class GitOutputPartViewImpl method print.

@Override
public void print(String text, String color) {
    PreElement pre = DOM.createElement("pre").cast();
    pre.setInnerText(text.isEmpty() ? " " : text);
    try {
        pre.getStyle().setColor(SimpleHtmlSanitizer.sanitizeHtml(color).asString());
    } catch (Exception e) {
        Log.error(getClass(), "Unable to set color [" + color + "]", e);
    }
    consoleLines.getElement().appendChild(pre);
}