()
| 269 | |
| 270 | // Delete preferences file when ImageJ quits |
| 271 | private void reset() { |
| 272 | if (IJ.showMessageWithCancel("Reset Preferences", "Preferences will be reset when ImageJ restarts.")) |
| 273 | Prefs.resetPreferences(); |
| 274 | } |
| 275 | |
| 276 | } // class Options |
no test coverage detected