Package edu.utep.cs.et.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 signle document editing and primitive syntax hightligting.
DefaultEditor.PasteEnablingAction	An action class to represent editing actions that enable the paste action.
LineNumberedEditor	An editor that displays the line numbers.
Options	An option panel to set various editor options.
Options.Palette	Palette to choose different colors.
Options.Palette.ColorPanel	A small box to show the currently chosen color.
Preference	A utility class to store various user options for the editor.

Package edu.utep.cs.et.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.