frontend

Class NumberedViewFactory

java.lang.Object

frontend.NumberedViewFactory

All Implemented Interfaces:

javax.swing.text.ViewFactory

public class NumberedViewFactory
extends java.lang.Object
implements javax.swing.text.ViewFactory

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	NumberedViewFactory.NumberedParagraphView

Constructor Summary

Constructors

Constructor and Description
NumberedViewFactory()

Method Summary

Modifier and Type	Method and Description
javax.swing.text.View	create(javax.swing.text.Element elem)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NumberedViewFactory

public NumberedViewFactory()

Method Detail

create

public javax.swing.text.View create(javax.swing.text.Element elem)

Specified by:

create in interface javax.swing.text.ViewFactory