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.

diff --git a/src/jalview/jbgui/GAlignFrame.java b/src/jalview/jbgui/GAlignFrame.java
index 9fdc47c..7a85a4a 100755 (executable)
--- a/src/jalview/jbgui/GAlignFrame.java
+++ b/src/jalview/jbgui/GAlignFrame.java
@@ -288,7 +288,6 @@ public class GAlignFrame extends JInternalFrame
       
       public void setPopupMenuVisible(boolean b) {
         if (b) {
-          System.out.println("openFeatureSettings " + haveAlignmentFeatures());
           openFeatureSettings.setEnabled(haveAlignmentFeatures());
         }
         super.setPopupMenuVisible(b);