Package edu.utep.cs.jet.gui.editor

Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring.

See:
Description

Interface Summary

Editor	An interface to the built-in editor that can edit a single document at a time.
FileChangeListener	A listener interface to notify the opening and closing of the file edited by the editor.
LineChangeListener	A listener interface to notify the changes of line and column numbers of the document being edited by the editor.

Class Summary

DefaultEditor	A simple source code editor that support single document editing and primitive syntax hightligting.
FindDialog	A dialog to find a text from the document of the given editor.
GotoDialog	A dialog to jump to a specific line of an editor.
LineNumberedEditor	An editor that displays the line numbers.
Options	An option panel to set various editor options.
Preference	A utility class to store various user options for the editor.

Package edu.utep.cs.jet.gui.editor Description

Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring. The main implementation class is DefaultEditor, and its functionalities can be accessed through the interface Editor.