Desktop.instance.removeJalviewPropertyChangeListener("services",
thisListener);
closeMenuItem_actionPerformed(true);
- };
+ }
});
// Finally, build the menu once to get current service state
new Thread(new Runnable()
@Override
public void setStatus(String text)
{
- // BH note: If text width and height are 0, then the layout manager
- // will dispense of it and change the frame height.
- // In JavaScript, we use \u00A0 -- unicode "non-breaking space"
- // which is the unicode encoding of
-
statusBar.setText(text == null || text.isEmpty() ? " " : text);
}
{
overview.dispose();
alignPanel.setOverviewPanel(null);
- };
+ }
});
if (getKeyListeners().length > 0)
{
trimrs.setSelected(trimrs.isSelected());
Cache.setProperty(DBRefFetcher.TRIM_RETRIEVED_SEQUENCES,
Boolean.valueOf(trimrs.isSelected()).toString());
- };
+ }
});
rfetch.add(trimrs);
JMenuItem fetchr = new JMenuItem(
Cache.setProperty("LAST_DIRECTORY", choice);
SequenceI[] seqs = viewport.getAlignment().getSequencesArray();
new VCFLoader(choice).loadVCF(seqs, us);
- };
+ }
});
chooser.showOpenDialog(null);