JAL-3042 don't allow user to change default history length for an input box task/JAL-3042_remove_SimpleDocument_dependency
authorJim Procter <jprocter@issues.jalview.org>
Tue, 26 Jun 2018 14:37:38 +0000 (15:37 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 26 Jun 2018 14:37:38 +0000 (15:37 +0100)
commit692d2b97d40497e462553cdc7269e173d605ec3a
tree1a9ae7ec87071480e54015d24d2644c767048378
parent1c52130ad032d77caac874c3a8be23a399a3ec93
JAL-3042 don't allow user to change default history length for an input box
src/jalview/io/cache/JvCacheableInputBox.java