public static Handler addHighlighting(
@NotNull final TextBox textBox, final Highlighter... highlighters) {
textBox.setStyleName("exprEditorInput");
Panel p = (Panel) textBox.getParent();
HTML html = new HTML();
html.setStyleName("exprEditorDiv");
p.add(html);
Handler handler = new Handler(html, highlighters);
handler.setup(textBox);
html.addMouseUpHandler(
new MouseUpHandler() {
@Override
public void onMouseUp(MouseUpEvent event) {
textBox.setFocus(true);
}
});
return handler;
}
