From: hansonr <hansonr@stolaf.edu>
Date: Mon, 2 Jul 2018 16:55:41 +0000 (+0100)
Subject: JAL-3026  Java+JavaScript fix for GD#95
X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~68^2~608
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c84b1b8d4704cb7891c45ba6219cb6e7c09cca91;p=jalview.git

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
--- 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);