- 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()
if (replacePunctuation.isEnabled() && replacePunctuation.isSelected())
{
text = text.replace(",", ";");
}
if (replacePunctuation.isEnabled() && replacePunctuation.isSelected())
{
text = text.replace(",", ";");
}
- text = text.replaceAll("(\\s|[,; ])+", ";");
- textArea.setText(text);
+ text = text.replaceAll("(\\s|[; ])+", ";");
+ if (!t0.equals(text))
+ {
+ textArea.setText(text);
+ }
List<DbSourceProxy> sources = sfetch
.getSourceProxy((String) database.getSelectedItem());
Iterator<DbSourceProxy> proxies = sources.iterator();
List<DbSourceProxy> sources = sfetch
.getSourceProxy((String) database.getSelectedItem());
Iterator<DbSourceProxy> proxies = sources.iterator();
- 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);