jpicedt.graphic.view.highlighter
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 2013/03/27 06:54:16 vincentb1 Exp $

Author:

Sylvain Reynal

Method Summary

Highlighter

createHighlighter(Element element)

Method Detail

createHighlighter

Highlighter createHighlighter(Element element)

Returns:

a Highlighter for the given Element