/** return a tag list of the current editors */
public final String[] getTags() {
String[] strings = null;
final Vector<String> res = new Vector<String>(0, 1);
final Enumeration<PlotHighlighter> iter = _myHighlighters.elements();
while (iter.hasMoreElements()) {
final Debrief.GUI.Tote.Painters.Highlighters.PlotHighlighter l = iter.nextElement();
res.addElement(l.toString());
}
// are there any results?
if (res.size() > 0) {
strings = new String[res.size()];
res.copyInto(strings);
}
return strings;
}
public final void editHighlighter() {
if (_currentHighlighter.hasEditor()) {
getPropertiesPanel().addEditor(_currentHighlighter.getInfo(), null);
}
}
public final String getHighlighter() {
return _currentHighlighter.toString();
}