Returns the file.separator system property.
()
| 506 | |
| 507 | /** Returns the file.separator system property. */ |
| 508 | public static String getFileSeparator() { |
| 509 | return separator; |
| 510 | } |
| 511 | |
| 512 | /** Opens the ImageJ preferences file ("IJ_Prefs.txt") file. */ |
| 513 | static void loadPreferences() { |