| bluej.editor.EditorWatcher
| EditorWatcher | | public interface EditorWatcher (Code) | |
version:
$Id: EditorWatcher.java 5390 2007-11-21 05:06:41Z davmac $
author:
Michael Kolling
author:
Interface between the editor and the rest of BlueJ
author:
The editor uses this class |
| breakpointToggleEvent | | String breakpointToggleEvent(Editor editor, int lineNo, boolean set)(Code) | | Called by Editor to set/clear a breakpoint
Parameters:
lineNo - the line number of the breakpoint
Parameters:
set - whether the breakpoint is set (true) or cleared An error message or null if okay. |
| closeEvent | | void closeEvent(Editor editor)(Code) | | Called by Editor when it is closed
|
| compile | | void compile(Editor editor)(Code) | | Called by Editor when a file is to be compiled
|
| generateDoc | | void generateDoc()(Code) | | Called by Editor when documentation is to be compiled
|
| modificationEvent | | void modificationEvent(Editor editor)(Code) | | Called by Editor when a file is changed
|
| saveEvent | | void saveEvent(Editor editor)(Code) | | Called by Editor when a file is saved
|
|
|