Float.isInfinite, popup menus, slider, spinner redux

[jalview.git] / src / jalview / gui / SequenceFetcher.java

diff --git a/src/jalview/gui/SequenceFetcher.java b/src/jalview/gui/SequenceFetcher.java
index 7ef9613..24db866 100755 (executable)
--- a/src/jalview/gui/SequenceFetcher.java
+++ b/src/jalview/gui/SequenceFetcher.java
@@ -145,8 +145,8 @@ public class SequenceFetcher extends JPanel implements Runnable
 
     frame = new JInternalFrame();
     frame.setContentPane(this);
-    int height = Platform.isAMac() ? 240 : 180;
-    Desktop.addInternalFrame(frame, getFrameTitle(), true, 400, height);
+    Desktop.addInternalFrame(frame, getFrameTitle(), true, 400, 
+               Platform.isAMacAndNotJS() ? 240 : 180);
   }
 
   private String getFrameTitle()
@@ -207,11 +207,11 @@ public class SequenceFetcher extends JPanel implements Runnable
     JLabel jLabel1 = new JLabel(MessageManager
             .getString("label.separate_multiple_accession_ids"));
     jLabel1.setFont(new Font("Verdana", Font.ITALIC, 11));
-    jLabel1.setHorizontalAlignment(SwingConstants.CENTER);
+    jLabel1.setHorizontalAlignment(SwingConstants.LEFT);
 
     replacePunctuation = new JCheckBox(
             MessageManager.getString("label.replace_commas_semicolons"));
-    replacePunctuation.setHorizontalAlignment(SwingConstants.CENTER);
+    replacePunctuation.setHorizontalAlignment(SwingConstants.LEFT);
     replacePunctuation.setFont(new Font("Verdana", Font.ITALIC, 11));
     okBtn = new JButton(MessageManager.getString("action.ok"));
     okBtn.addActionListener(new ActionListener()