181182183184185186187188
/** * Override creation of the default textarea. Neat hack Martin! */ protected JEditTextArea createTextArea() { xqTextArea = new XQTextArea(new PdeTextAreaDefaults(mode)); return xqTextArea; }
161162163164165166167168
1252125312541255125612571258
* @return the customized text area object */ @Override protected JEditTextArea createTextArea() { //System.out.println("overriding creation of text area"); return new TextArea(new PdeTextAreaDefaults(mode), this); }