@Override public void close() throws IOException {}
@Override public void flush() throws IOException {}
@Override public void write(char[] arg0, int arg1, int arg2) throws IOException {
haveInput();
}};
ta_writer = new TeeWriter(new TextAreaWriter(textarea), check_writer);
JScrollPane scroll = new JScrollPane(textarea);
scroll.setPreferredSize(new Dimension(300, 300));
frame.add(scroll);