Returns the path, ending in File.separator, to the ImageJ directory.
()
| 427 | |
| 428 | /** Returns the path, ending in File.separator, to the ImageJ directory. */ |
| 429 | public static String getImageJDir() { |
| 430 | String path = Menus.getImageJPath(); |
| 431 | if (path==null) { |
| 432 | String ijPath = ImageJDir; |
| 433 | if (ijPath==null) |
| 434 | ijPath = getPluginsDirProperty(); |
| 435 | if (ijPath==null) |
| 436 | ijPath = System.getProperty("user.dir"); |
| 437 | return ijPath + File.separator; |
| 438 | } else |
| 439 | return path; |
| 440 | } |
| 441 | |
| 442 | public static String getPluginsDirProperty() { |
| 443 | if (pluginsDirProperty==null) { |
no test coverage detected