public class Tools extends Object
| Constructor and Description |
|---|
Tools() |
| Modifier and Type | Method and Description |
|---|---|
static void |
consoleLog(String message) |
static com.google.gwt.user.client.ui.HTML |
getHighlighted(String xml) |
static com.google.gwt.safehtml.shared.SafeHtml |
getHighlighted2(String xml) |
static void |
highlight() |
public static void consoleLog(String message)
public static void highlight()
public static com.google.gwt.user.client.ui.HTML getHighlighted(String xml)
public static com.google.gwt.safehtml.shared.SafeHtml getHighlighted2(String xml)
Copyright © 2014. All Rights Reserved.