| java.lang.Object tide.editor.TideUtils
TideUtils | final public class TideUtils (Code) | | |
getJavaToolUsedToLaunchTide | public static File getJavaToolUsedToLaunchTide()(Code) | | |
getTideJarCurrentlyRunning | public static File getTideJarCurrentlyRunning()(Code) | | null if webstart mode, i.e. if no tide.jar is found on the classpath.TODO: also allow tide_VVV.jar |
isWebStartMode | public static boolean isWebStartMode()(Code) | | Simplified try... just looks if a tide.jar is found on classpath. If no, assume we're in WebStartMode.
|
readJavaVersion | public static String readJavaVersion(File javaExe)(Code) | | You have to compare with "1.5"
|
|
|