| commit | c071c9ccd48ac0cb376d370d515bf6439dbb37aa | [log] [tgz] |
|---|---|---|
| author | Tod Creasey <tod> | Mon Sep 19 16:43:29 2005 +0000 |
| committer | Tod Creasey <tod> | Mon Sep 19 16:43:29 2005 +0000 |
| tree | b97af3ccce6510ac181b8ea405c3017e45f3589d | |
| parent | b3aa3b90e0dc729086b2402e3b4024f5c167451d [diff] |
Fix for saving for Bug 109519 Cannot delete a filter
diff --git a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java index 0d19027..6469145 100644 --- a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java +++ b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
@@ -396,8 +396,8 @@ MarkerFilter[] filters = getFilters(); for (int i = 0; i < filters.length; i++) { - memento.createChild(TAG_FILTER_ENTRY,filters[i].getName()); - filters[i].saveFilterSettings(memento); + IMemento child = memento.createChild(TAG_FILTER_ENTRY,filters[i].getName()); + filters[i].saveFilterSettings(child); } StringWriter writer = new StringWriter();