// FIXME : oldnav seems to be the same node as parent (most of the cases).
// Deleting it will cause plenty of code to fail, since they refer to the node directly.
// The bug was not shown, since deleting() a Node did not actually wipe its structures (until now).
// oldnav.delete();
} else {
// FIXME : oldnav seems to be the same node as parent (most of the cases).
// Deleting it will cause plenty of code to fail, since they refer to the node directly.
// The bug was not shown, since deleting() a Node did not actually wipe its structures (until now).
// oldnav.delete();
} else {