Uses of Class
net.grinder.console.editor.EditorException

Packages that use EditorException

Package	Description
net.grinder.console.editor	The console model of the editor state.

Uses of EditorException in net.grinder.console.editor

Methods in net.grinder.console.editor that throw EditorException

Modifier and Type	Method and Description
void	Buffer.load() Update the text source from the file.
void	Buffer.save() Update the buffer's file from the text source.