File
fun FileEditor( workbench: AvailWorkbench, fileLocation: String, frameTitle: String)
Content copied to clipboard
Construct an FileEditor.
Parameters
CE
The concrete final type of this FileEditor.
workbench
The active AvailWorkbench.
file
The absolute path of the source code file.
frame
The JFrame.title.