diff options
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/MetricsViewEditor.java')
| -rw-r--r-- | java/src/IceGridGUI/LiveDeployment/MetricsViewEditor.java | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/MetricsViewEditor.java b/java/src/IceGridGUI/LiveDeployment/MetricsViewEditor.java index 7b4a4cca88e..95d76be873d 100644 --- a/java/src/IceGridGUI/LiveDeployment/MetricsViewEditor.java +++ b/java/src/IceGridGUI/LiveDeployment/MetricsViewEditor.java @@ -1016,7 +1016,17 @@ public class MetricsViewEditor extends Editor implements MetricsFieldContext public void propertyChange(PropertyChangeEvent e) { _prefs.putInt(key, Integer.valueOf((Integer)e.getNewValue())); - _prefs.flush(); + try + { + _prefs.flush(); + } + catch(java.util.prefs.BackingStoreException ex) + { + JOptionPane.showMessageDialog(null, + ex.toString(), + "Error saving preferences", + JOptionPane.ERROR_MESSAGE); + } } }); return splitPane; |