git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98fdba8) | patch
JAL-3026 Java+JavaScript fix for GD#95
authorhansonr <hansonr@stolaf.edu>
Mon, 2 Jul 2018 16:55:00 +0000 (17:55 +0100)
committerhansonr <hansonr@stolaf.edu>
Mon, 2 Jul 2018 16:55:00 +0000 (17:55 +0100)
commit2afbc744f6769674e1af81918206526d90a93b12
treed0b9589c6e903fbc0ddb050027cf8fd9b2ada857tree | snapshot
parent98fdba84857a44ec1ace01181c9a00dd84509ac6commit | diff
JAL-3026  Java+JavaScript fix for GD#95

View...Features Settings... not disabled when there are no features.

Involves an anonymous subclassing of JMenu for viewMenu that checks that
there are features just before opening.

GAlignFrame, with a call into AlignFrame for checking the viewport.
src/jalview/gui/AlignFrame.java diff | blob | history
src/jalview/jbgui/GAlignFrame.java diff | blob | history