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()
/*
* tidy inputs and check there is something to search for
*/
- String text = textArea.getText();
+ String t0 = textArea.getText();
+ String text = text.trim(); // BH 2019.01.30
if (replacePunctuation.isEnabled() && replacePunctuation.isSelected())
{
text = text.replace(",", ";");
}
text = text.replaceAll("(\\s|[,; ])+", ";");
- textArea.setText(text);
+ if (!t0.equals(text)) // BH 2019.01.30 no need to do setting if it is the same
+ textArea.setText(text);
if (text.isEmpty())
{
// todo i18n
for (String q : queries)
{
- 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);
String accId = proxy.getAccessionIdFromQuery(q);
- dbr.setAccessionId(accId);
+// dbr.setAccessionId(accId);
boolean rfound = false;
- for (int r = 0; r < rs.length; r++)
+ for (int r = 0, nr = rs.length; r < nr; r++)
{
if (rs[r] != null)
{