git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e015825) | patch
JAL-3042 don't allow user to change default history length for an input box
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 17:26:33 +0000 (18:26 +0100)
commit3d30968ea0e6656e0a82177d949f05b42fbf1082
tree4cac695c5a7cdab9e3c21772c4ea87c25f684dc2tree | snapshot
parente01582523d1b2d3e24cc40f78f721ffcce34c756commit | diff
JAL-3042 don't allow user to change default history length for an input box
src/jalview/io/cache/JvCacheableInputBox.java diff | blob | history