data.setCollapsible(true);
data.setSplit(true);
setSouthWidget(logPanel, data);
}
getCodeMirror().addChangeListener(new OnChangeListener() {
public void onChange() {
newContent = getCodeMirror().getValue();
status.setText("编辑中...");
String value = getCodeMirror().getValue();
int length = value != null ? value.length() : 0;