Searched refs:jeditDetails (Results 1 – 1 of 1) sorted by relevance
205 String[] jeditDetails = getJeditInstallation( jeditLogFile ); in getJeditLocation() local206 System.out.println( "getJeditLocation ) " + jeditDetails[0] ); in getJeditLocation()207 File f = new File(jeditDetails[0]); in getJeditLocation()208 results.put("jEdit "+jeditDetails[1], jeditDetails[0]); in getJeditLocation()209 System.out.println( "jeditDetails[0] is " + jeditDetails[0]); in getJeditLocation()260 String[] jeditDetails = new String[2]; in getJeditInstallation() local284 jeditDetails[0] = installPath; in getJeditInstallation()292 jeditDetails[1] = version; in getJeditInstallation()303 return jeditDetails; in getJeditInstallation()
Completed in 12 milliseconds