Add global settings wipe
This commit is contained in:
parent
3bb6d1e997
commit
b6c7a759bd
@ -395,7 +395,7 @@ public class Interpreter extends javax.swing.JInternalFrame {
|
|||||||
try {
|
try {
|
||||||
FileUtils.saveFile(commandsForExport,
|
FileUtils.saveFile(commandsForExport,
|
||||||
FileUtils.getFileWithExtension(fc).toString(),
|
FileUtils.getFileWithExtension(fc).toString(),
|
||||||
false);
|
true);
|
||||||
} catch (IOException ex) {
|
} catch (IOException ex) {
|
||||||
JOptionPane.showInternalMessageDialog(this,
|
JOptionPane.showInternalMessageDialog(this,
|
||||||
"Error saving: " + ex.getMessage(),
|
"Error saving: " + ex.getMessage(),
|
||||||
|
@ -89,6 +89,15 @@ public class PrefStorage {
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Wipe all settings.
|
||||||
|
*
|
||||||
|
* @throws java.util.prefs.BackingStoreException
|
||||||
|
*/
|
||||||
|
public static void wipe() throws BackingStoreException {
|
||||||
|
prefs.clear();
|
||||||
|
}
|
||||||
|
|
||||||
// xkcd 221 compliance.
|
// xkcd 221 compliance.
|
||||||
int getRandomNumber() {
|
int getRandomNumber() {
|
||||||
return 4; // chosen by fair dice roll.
|
return 4; // chosen by fair dice roll.
|
||||||
|
Loading…
x
Reference in New Issue
Block a user