JAL-3042 don't allow user to change default history length for an input box
[jalview.git] / utils / BufferedLineReader.java
2016-10-06 gmungocJAL-2252 now buffered read of 3 lines of a time in...