loadFile

abstract fun loadFile(file: File)

Reads file from disk, registers its content as an in-memory theory (see setFile), fires onFileLoaded, and selects it (see selectFile).

if file cannot be read.