Uses of Class
alice.util.jedit.TextAreaDefaults

Packages that use TextAreaDefaults

Package	Description
alice.tuprologx.ide
alice.util.jedit

Uses of TextAreaDefaults in alice.tuprologx.ide

Subclasses of TextAreaDefaults in alice.tuprologx.ide

Modifier and Type	Class and Description
class	PrologTextArea

Uses of TextAreaDefaults in alice.util.jedit

Methods in alice.util.jedit that return TextAreaDefaults

Modifier and Type	Method and Description
static TextAreaDefaults	TextAreaDefaults.getDefaults() Returns a new TextAreaDefaults object with the default values filled in.

Constructors in alice.util.jedit with parameters of type TextAreaDefaults

Constructor and Description
JEditTextArea(TextAreaDefaults defaults) Creates a new JEditTextArea with the specified settings.
TextAreaPainter(JEditTextArea textArea, TextAreaDefaults defaults) Creates a new repaint manager.