From c84b1b8d4704cb7891c45ba6219cb6e7c09cca91 Mon Sep 17 00:00:00 2001 From: hansonr Date: Mon, 2 Jul 2018 17:55:41 +0100 Subject: [PATCH] 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/jbgui/GAlignFrame.java | 1 - 1 file changed, 1 deletion(-) 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); -- 1.7.10.2