private JConsoleArea makeConsoleArea(int width, int height, boolean editable) { JConsoleArea ta = new JConsoleArea(); ta.setEditable(editable); return ta; }