|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Workspace in scphEditor |
---|
Fields in scphEditor declared as Workspace | |
---|---|
(package private) Workspace |
ScphEditorPart.editor_widget
Reference to the widget/control that displays/edits proof content. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |