Save plugin preferences.
(Properties prefs)
| 738 | |
| 739 | /** Save plugin preferences. */ |
| 740 | static void savePluginPrefs(Properties prefs) { |
| 741 | Enumeration e = ijPrefs.keys(); |
| 742 | while (e.hasMoreElements()) { |
| 743 | String key = (String) e.nextElement(); |
| 744 | if (key.indexOf(KEY_PREFIX) == 0) |
| 745 | prefs.put(key, ijPrefs.getProperty(key)); |
| 746 | } |
| 747 | } |
| 748 | |
| 749 | @AstroImageJ(reason = "Rename for AIJ", modified = true) |
| 750 | public static void savePrefs(Properties prefs, String path) throws IOException{ |
no test coverage detected