From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Tue, 14 Aug 2018 13:04:06 +0000 (+0100)
Subject: JAL-3032 tidy AlignmentProperties display for JalviewJS
X-Git-Tag: Release_2_11_4_0~45^2~18^2~492
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=b2bf63b58a50709d6f39292bcf3cec0b2b968b91;p=jalview.git

JAL-3032 tidy AlignmentProperties display for JalviewJS
---

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index fb952b7..5b9df68 100644
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -3309,8 +3309,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
             { contents.toString() });
     contents = null;
 
-    if (/** @j2sNative true || */
-    false)
+    if (Jalview.isJS())
     {
       JLabel textLabel = new JLabel();
       textLabel.setText(content);
@@ -3318,7 +3317,8 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
       
       pane = new JPanel(new BorderLayout());
       ((JPanel) pane).setOpaque(true);
-      ((JPanel) pane).add(textLabel, BorderLayout.CENTER);
+      pane.setBackground(Color.WHITE);
+      ((JPanel) pane).add(textLabel, BorderLayout.NORTH);
     }
     else
     {