Opens the ImageJ preferences file ("IJ_Prefs.txt") file.
()
| 511 | |
| 512 | /** Opens the ImageJ preferences file ("IJ_Prefs.txt") file. */ |
| 513 | static void loadPreferences() { |
| 514 | String path = getPrefsDir()+separator+PREFS_NAME; |
| 515 | boolean ok = loadPrefs(path); |
| 516 | if (!ok) { // not found |
| 517 | if (IJ.isWindows()) |
| 518 | path = ImageJDir +separator+PREFS_NAME; |
| 519 | else |
| 520 | path = System.getProperty("user.home")+separator+PREFS_NAME; //User's home dir |
| 521 | ok = loadPrefs(path); |
| 522 | if (ok) |
| 523 | new File(path).delete(); |
| 524 | } |
| 525 | |
| 526 | } |
| 527 | |
| 528 | @AstroImageJ(reason = "Widen access", modified = true) |
| 529 | public static boolean loadPrefs(String path) { |
no test coverage detected