| java.lang.Object
 bluej.editor.EditorManager
All known Subclasses: bluej.editor.moe.MoeEditorManager,
| EditorManager | | abstract public class EditorManager (Code) | | Interface between the editor manager and the rest of BlueJ.
author:
Michael Cahill
author:
Michael Kolling
author:
Bruce Quig
version:
$Id: EditorManager.java 5390 2007-11-21 05:06:41Z davmac $ |
| discardEditor | | abstract protected void discardEditor(Editor ed)(Code) | | Indicate to the manager that all resources used by this editor
should be discarded.
|
| getEditorManager | | public static EditorManager getEditorManager()(Code) | | Singleton factory method to return an EditorManager instance;
|
| openClass | | abstract public Editor openClass(String filename, String docFilename, String windowTitle, EditorWatcher watcher, boolean compiled, Rectangle bounds)(Code) | | Open an editor to display a class. The filename may be "null"
to open an empty editor (e.g. for displaying a view). The editor
is initially hidden. A call to "Editor::show" is needed to make
is visible after opening it.
Parameters:
filename - name of the source file to open (may be null)
Parameters:
docFilename - name of the documentation based on filename
Parameters:
windowTitle - title of window (usually class name)
Parameters:
watcher - an object interested in editing events
Parameters:
compiled - true, if the class has been compiled
Parameters:
breakpoints - vector of Integers: line numbers where bpts are the new editor, or null if there was a problem |
| openText | | abstract public Editor openText(String filename, String windowTitle, Rectangle bounds)(Code) | | Open an editor to display a text document. The difference to
"openClass" is that code specific functions (such as compile,
debug, view) are disabled in the editor. The filename may be
"null" to open an empty editor. The editor is initially hidden.
A call to "Editor::show" is needed to make is visible after
opening it.
Parameters:
filename - name of the source file to open (may be null)
Parameters:
windowTitle - title of window (usually class name)
Parameters:
watcher - an object interested in editing events |
| refreshAll | | abstract public void refreshAll()(Code) | | Refresh the display of all showing editors (usually because
an editor property such as font has changed)
|
|
|