Terminology t = getTerminology();
return (t != null)?t.getSearchMethods():new String [] {""};
}
private void doInfo() {
Terminology d = getTerminology();
JEditorPane text = new JEditorPane();
text.setContentType("text/html; charset=UTF-8");
text.setEditable(false);
text.setPreferredSize(new Dimension(400,400));
text.setBorder(new LineBorder(Color.gray));
String desc = "<b>"+d.getName()+"</b> "+d.getVersion()+"<br>"+d.getURI()+"<hr>"+d.getDescription();
if(d instanceof Terminology){
desc +="<hr>";
Terminology t = (Terminology) d;
desc += "Languages: "+Arrays.toString(t.getLanguages())+"<br>";
desc += "Sources: "+Arrays.toString(t.getSources())+"<br>";
}
text.setText(desc);
JOptionPane.showMessageDialog(frame,text,"",JOptionPane.PLAIN_MESSAGE);