--- MenuHandler.py.org  2005-06-05 21:47:30.000000000 +0200
+++ MenuHandler.py      2005-06-05 21:51:18.000000000 +0200
@@ -195,6 +195,12 @@
                 self.saveEntry(entry, nodisplay=True)
         else:
             if isinstance(entry, xdg.Menu.Menu):
+                # Hack for backwards compatibility
+                xml_menu = self._MenuEditor__getXmlMenu(entry.getPath(True, True), False)
+                if xml_menu:
+                    for node in self._MenuEditor__getXmlNodesByName(["Deleted", "NotDeleted"]):
+                         node.parentNode.removeChild(node)
+                entry.Deleted = False
                 self.saveMenu(entry, nodisplay=False)
             else:
                 self.saveEntry(entry, nodisplay=False)