Uses of Class
oracle.javatools.editor.EditorProperties

Packages that use EditorProperties

Package	Description
oracle.javatools.editor	The Editor package is a basic framework for an editor component with syntax highlighting capabilities, built on top of the Swing text framework.

Uses of EditorProperties in oracle.javatools.editor

Methods in oracle.javatools.editor that return EditorProperties

Modifier and Type	Method and Description
static EditorProperties	EditorProperties.getProperties() Fetches the singleton instance of the EditorProperties table.