Searched refs:docFile (Results 1 – 1 of 1) sorted by relevance
152 "LAB_invalid_file_system", ((docFile != null)? docFile.toString(): "")); in getDisplayName()163 return docFile; in getDocument()191 System.out.println(" file: " + ((docFile != null)? docFile.toString(): "")); in setDocument()317 docFile = file; in openDocument()318 zipFile = new ZipFile(docFile); in openDocument()331 if(docFile != null) { in closeDocument()343 docFile = null; in closeDocument()378 if(docFile == null) in updateDocument()407 "~" + docFile.getName()); in updateDocument()410 docFile.renameTo(newFile); in updateDocument()[all …]
Completed in 9 milliseconds