X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPopupMenu.java;h=88752880345bdce8a48b339f1eb053a962b2fe7e;hb=bc1a3842b31a35a7794f4afec4911ad421c7c3e4;hp=88c1292cdd7e6caa91d8b5972dde6aad1b518b7f;hpb=a55e4576868379847eebc4f5741ae24a48ef2476;p=jalview.git

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index 88c1292..8875288 100644
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -906,6 +906,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
     if (Platform.isJS())
     {
       details = new JInternalFrame();
+      details.setFrameIcon(null);
       JPanel panel = new JPanel(new BorderLayout());
       panel.setOpaque(true);
       panel.setBackground(Color.white);
@@ -1735,8 +1736,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
           Map<SequenceI, List<AlignmentAnnotation>> candidates)
   {
     final AlignmentI alignment = this.ap.getAlignment();
-    AlignmentUtils.addReferenceAnnotations(candidates, alignment,
-            null);
+    AlignmentUtils.addReferenceAnnotations(candidates, alignment, null);
     refresh();
   }
 
@@ -1834,6 +1834,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
       pane.setBackground(Color.WHITE);
       pane.add(textLabel, BorderLayout.NORTH);
       frame = new JInternalFrame();
+      frame.setFrameIcon(null);
       frame.getContentPane().add(new JScrollPane(pane));
     }
     else
@@ -2189,7 +2190,8 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
 
     String[] omitHidden = null;
 
-    System.out.println("PROMPT USER HERE"); // TODO: decide if a prompt happens
+    jalview.bin.Console.outPrintln("PROMPT USER HERE"); // TODO: decide if a
+                                                        // prompt happens
     // or we simply trust the user wants
     // wysiwig behaviour