public interface EditorRegistry
| Modifier and Type | Method and Description |
|---|---|
Editor |
getEditor(String id)
Retrieve an Editor by its ID.
|
List<Editor> |
getEditors()
Retrieve a list of all registered Editors.
|
void |
register(Editor editor)
Registers an instantiated Editor for portal use.
|
void |
register(String id,
String name,
String editorUrl,
String launchUrl,
String preloadScript)
Registers an editor for portal use by supplying requisite values instead of an instance.
|
boolean |
unregister(Editor editor)
Unregister an Editor, making it unavailable.
|
boolean |
unregister(String id)
Unregister an Editor by its ID, making it unavailable.
|
void register(Editor editor)
editor - the Editorvoid register(String id, String name, String editorUrl, String launchUrl, String preloadScript)
Editor for details.id - Editor IDname - Editor NameeditorUrl - Editor URLlaunchUrl - Launch URLpreloadScript - Preload Scriptboolean unregister(Editor editor)
editor - The Editor to unregister.boolean unregister(String id)
id - The ID of the Editor to unregister.Editor getEditor(String id)
id - The ID of the desired Editor.Copyright © 2003–2018 Sakai Project. All rights reserved.