- int height = Platform.isAMac() ? 240 : 180;
- Desktop.addInternalFrame(frame, getFrameTitle(), true, 400, height);
+ Desktop.addInternalFrame(frame, getFrameTitle(), true, 400,
+ Platform.isAMacAndNotJS() ? 240 : 180);
JLabel jLabel1 = new JLabel(MessageManager
.getString("label.separate_multiple_accession_ids"));
jLabel1.setFont(new Font("Verdana", Font.ITALIC, 11));
JLabel jLabel1 = new JLabel(MessageManager
.getString("label.separate_multiple_accession_ids"));
jLabel1.setFont(new Font("Verdana", Font.ITALIC, 11));
replacePunctuation.setFont(new Font("Verdana", Font.ITALIC, 11));
okBtn = new JButton(MessageManager.getString("action.ok"));
okBtn.addActionListener(new ActionListener()
replacePunctuation.setFont(new Font("Verdana", Font.ITALIC, 11));
okBtn = new JButton(MessageManager.getString("action.ok"));
okBtn.addActionListener(new ActionListener()
- DBRefEntry dbr = new DBRefEntry();
- dbr.setSource(proxy.getDbSource());
- dbr.setVersion(null);
+ // BH 2019.01.25 dbr is never used.
+// DBRefEntry dbr = new DBRefEntry();
+// dbr.setSource(proxy.getDbSource());
+// dbr.setVersion(null);