Exemple #1
0
    /** 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;
    }
Exemple #2
0
 public final void editHighlighter() {
   if (_currentHighlighter.hasEditor()) {
     getPropertiesPanel().addEditor(_currentHighlighter.getInfo(), null);
   }
 }
Exemple #3
0
 public final String getHighlighter() {
   return _currentHighlighter.toString();
 }