newFile

abstract fun newFile(): File

Creates a new empty temporary .pl file, registers it as the currently open/selected file (firing onFileCreated and, through loadFile, onFileLoaded and onFileSelected), and returns its handle.