From 2e7a9eee42dc73939a9531983ecb28db6ace198a Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 7 Oct 2024 12:01:32 +0200
Subject: [PATCH] Don't swallow exception in ClassicPreferences.performOk
---
de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
index f7166b13..c2daeeb5 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
@@ -6,6 +6,8 @@
package de.prob.ui.eventb;
+import de.prob.logging.Logger;
+
import org.eclipse.core.runtime.Platform;
import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.jface.preference.PreferencePage;
@@ -114,7 +116,7 @@ public class ClassicPreferences extends PreferencePage implements
try {
prefNode.flush();
} catch (BackingStoreException e) {
- e.printStackTrace();
+ Logger.notifyUser("Failed to save ProB Standalone preferences", e);
}
return super.performOk();
}
--
GitLab