git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42ec35a) | patch
patch for JAL-1172 ensure option's default value is set in widget so it gets saved...
authorjprocter <jprocter@compbio.dundee.ac.uk>
Tue, 19 Jun 2012 16:25:05 +0000 (17:25 +0100)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Tue, 19 Jun 2012 16:25:05 +0000 (17:25 +0100)
commit8b8b5a6d0aa747b57c812aa1ae20dcf6b7adf20f
tree465bcc89dc2a8c1b264c1ffcb39088a4d7c0be78tree | snapshot
parent42ec35a792d480c73027da6e7fc617146850ce44commit | diff
patch for JAL-1172 ensure option's default value is set in widget so it gets saved in paramStore
src/jalview/gui/OptsAndParamsPage.java diff | blob | history