Searched refs:htmlDirectory (Results 1 – 4 of 4) sorted by relevance
47 static public void checkFileExistence(File htmlDirectory) { in checkFileExistence() argument62 File file = new File(htmlDirectory, fileName); in checkFileExistence()76 newFile = new File(htmlDirectory, newFileName); in checkFileExistence()84 File simpleFile = new File(htmlDirectory, simplePage); in checkFileExistence()
186 File htmlDirectory = getInfoRoot("html"); in setHtmlFileExistence() local187 ResourceManager.checkFileExistence(htmlDirectory); in setHtmlFileExistence()
77 File htmlDirectory = data.getInfoRoot("html"); in createEditorPane() local80 if ( htmlDirectory != null) { in createEditorPane()81 File htmlFile = new File(htmlDirectory, licenseFile); in createEditorPane()
124 File htmlDirectory = data.getInfoRoot("html"); in createEditorPane() local126 if ( htmlDirectory != null) { in createEditorPane()127 File htmlFile = new File(htmlDirectory, helpFileName); in createEditorPane()
Completed in 34 milliseconds