public ParamValueEditDialog(String s) {
super(new Frame(), " Edit parameter value");
text = new TextArea(s, 10, 80, TextArea.SCROLLBARS_BOTH);
text.setEditable(true);
add(text, BorderLayout.CENTER);
setResizable(true);
pack();
/*
* doesn't work anyhow addNotify(); text.setCaretPosition(0);
*/
}
public ExParValue getExParValue() {
ExParValue v = null;
try {
// ExDesignTreeParser parser = new ExDesignTreeParser(new
// StringReader(text.getText()), Base.getEncoding());
ExDesignTreeParser parser = new ExDesignTreeParser(new StringReader(text.getText()));
v = parser.assignableParameterValue();
} catch (ParseException pex) {
new de.pxlab.pxl.NonFatalError(pex.getMessage());
} catch (TokenMgrError tex) {
new de.pxlab.pxl.NonFatalError(tex.getMessage());
}
return v;
}
public String getText() {
return text.getText();
}