Method getFile

src/main/java/jace/ide/Program.java:106–108

()

    }

    public Optional<File> getFile() {
        return Optional.ofNullable(targetFile);
    }

    public void initEditor(WebView editor, File sourceFile, boolean isBlank) {
        this.editor = editor;