- getFrame
This is a convenience method that can be used to obtain the top level frame for
a Workspace. This me
- getInstance
Gets hold of the one and only ProtegeManager
- disposeOfEditorKit
Closes an EditorKit. This disposes of the clsdescriptioneditor kit's Workspace,
and closes the clsde
- getEditorKitFactoryPlugins
Obtains a list of the installed EditorKitFactory plugins. These plugins can be
passed to the createA
- createAndSetupNewEditorKit
Creates and sets up a new (probably empty) . The new EditorKit will be passed to
theEditorKitManager
- getEditorKitManager
Gets the EditorKitManager, which controls the selected EditorKit etc. for the
application.
- loadAndSetupEditorKitFromURI
- <init>
- dispose
- getApplication
- getEditorKitFactory
Gets an EditorKitFactory by its corresponding plugin.
- initialise