public interface Editor
| Modifier and Type | Method and Description |
|---|---|
String |
getEditorUrl()
Retrieve the URL of the Editor's primary script.
|
String |
getId()
Retrieve the unique identifier of this Editor.
|
String |
getLaunchUrl()
Retrieve the URL of the Sakai launch script for this Editor.
|
String |
getName()
Retrieve the formal name of this Editor.
|
String |
getPreloadScript()
Retrieve any inline script that should be run before loading this Editor.
|
String getId()
String getName()
String getEditorUrl()
String getLaunchUrl()
String getPreloadScript()
Copyright © 2003–2018 Sakai Project. All rights reserved.