Uses of Class
scphEditor.Workspace

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.