http://www.jpicedt.org

jpicedt.graphic.view
Interface HighlighterFactory

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
 Highlighter createHighlighter(Element element)
           
 

Method Detail

createHighlighter

public Highlighter createHighlighter(Element element)
Returns:
a Highlighter for the given Element

http://www.jpicedt.org

Submit a bug : syd@jpicedt.org