Uses of Class
oracle.javatools.editor.EditorProperties

Packages that use EditorProperties

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

static EditorProperties

EditorProperties.getProperties() Fetches the singleton instance of the EditorProperties table.