HighlighterFactory (jPicEdt 1.4.1_03 API documentation)

All Known Implementing Classes:

DefaultHighlighterFactory
```
public interface HighlighterFactory
```
A factory to create a Highlighter for a given Element.

Since:

jPicEdt 1.4

Version:

$Id: HighlighterFactory.java,v 1.3.2.1 2007/09/02 11:56:29 reynal Exp $

Author:

Sylvain Reynal

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Highlighter createHighlighter(Element element)

- Method Detail
  - createHighlighter
```
Highlighter createHighlighter(Element element)
```
    Returns:
    
    a Highlighter for the given Element