import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
private native JavaScriptObject initCodeMirrorJSO(TextAreaElement tae) /*-{
    var cm = $wnd.CodeMirror.fromTextArea(tae, {
        mode: "xml",
        lineNumbers: true,
        lineWrapping: false,
        indentUnit: 4,
        autoCloseTags: true,
        foldGutter: true,
        gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"]
    });
    return cm;
}-*/;
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
@Override
public int getMaxLength() {
	String maxLengthAtt = TextAreaElement.as(this.getElement()).getAttribute("maxLength");
	if (maxLengthAtt != null && maxLengthAtt.length() > 0) {
		return Integer.valueOf(maxLengthAtt);
	}
	return -1;
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
public void setText(String value)
{
   if (AbstractHtmlElementView.clientSide)
   {
      TextAreaElement.as(this.getElement()).setValue(value);
   }
   else
   {
      this.setElementAttribute("value", value);
   }
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
public void setText(String text) {
	if (isTextArea) {
		TextAreaElement.as(element).setValue(text);
	} else {
		InputElement.as(element).setValue(text);
	}
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
public String getText() {
	if (isTextArea) {
		return TextAreaElement.as(element).getValue();
	} else {
		return InputElement.as(element).getValue();
	}
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
@Override
public String value () {
	TextAreaElement valueHolder = getWidget().getElement().getFirstChild()
			.getFirstChild().getNextSibling().<TextAreaElement> cast();
	return valueHolder.getValue();
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
public NullableTextArea(Element elem) {
	super(elem);
	inputElem = TextAreaElement.as(elem);
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
public void setRows(int rows) {
	this.rows = rows;
	TextAreaElement.as(this.getElement()).setRows(rows);
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
public String getValue()
{
   return TextAreaElement.as(this.getElement()).getValue();
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
/**
 * This constructor may be used by subclasses to explicitly use an existing
 * element. This element must be a <textarea> element.
 *
 * @param element the element to be used
 */
protected TextArea(final Element element) {
    super(element.<Element>cast());
    TextAreaElement.as(element);
    element.addClassName(Styles.FORM_CONTROL);
}
 

import com.google.gwt.dom.client.TextAreaElement; //导入依赖的package包/类
/**
 * Get the TextAreaElement for the widget
 *
 * @return TextAreaElement element of the widget
 */
private TextAreaElement getTextAreaElement() {
    return getElement().cast();
}