From b2bf63b58a50709d6f39292bcf3cec0b2b968b91 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Tue, 14 Aug 2018 14:04:06 +0100 Subject: [PATCH] JAL-3032 tidy AlignmentProperties display for JalviewJS --- src/jalview/gui/AlignFrame.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 { -- 1.7.10.2