350         return drawsLayeredHighlights;

   350         return drawsLayeredHighlights;

   351     }

   351     }

   352 

   352 

   353     // ---- member variables --------------------------------------------

   353     // ---- member variables --------------------------------------------

   354 

   354 

   356             new Highlighter.Highlight[0];

   356             new Highlighter.Highlight[0];

   357     private Vector<HighlightInfo> highlights = new Vector<HighlightInfo>();

   357     private Vector<HighlightInfo> highlights = new Vector<HighlightInfo>();

   358     private JTextComponent component;

   358     private JTextComponent component;

   359     private boolean drawsLayeredHighlights;

   359     private boolean drawsLayeredHighlights;

   360     private SafeDamager safeDamager = new SafeDamager();

   360     private SafeDamager safeDamager = new SafeDamager();