FileEditor

constructor(workbench: AvailWorkbench, fileLocation: String, frameTitle: String)

Construct an FileEditor.

Parameters

CE

The concrete final type of this FileEditor.

workbench

The active AvailWorkbench.

fileLocation

The absolute path of the source code file.

frameTitle