git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 467426a) | patch
JAL-2985 show label instead of checkbox for a required (Jalview) Option
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 11 May 2018 15:34:35 +0000 (16:34 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 11 May 2018 15:34:35 +0000 (16:34 +0100)
commit2e4b07838e7727d790ddb40e4381cb4ed1e84428
tree02801c49b33aed076a9d85c1cc367922f6c4a026tree | snapshot
parent467426ae84382a85861a38d91e4f69f86c53e4c8commit | diff
JAL-2985 show label instead of checkbox for a required (Jalview) Option
src/jalview/gui/OptsAndParamsPage.java diff | blob | history