[Fencommits] fenserve: make ':del' merge the children of the deleted note into the parent, rather than deleting them along with the parent

[Benja Fallenstein]

Sat Apr 28 14:20:39 EEST 2007  Benja Fallenstein <benja.fallenstein at gmail.com>
  * make ':del' merge the children of the deleted note into the parent, rather than deleting them along with the parent
diff -rN -u old-fenserve/notetaker/Main.hs new-fenserve/notetaker/Main.hs
--- old-fenserve/notetaker/Main.hs	2007-04-28 14:20:51.000000000 +0300
+++ new-fenserve/notetaker/Main.hs	2007-04-28 14:20:51.000000000 +0300
@@ -63,7 +63,7 @@
 execute (Line _ _ body) =
     case body of Add p l  -> on p $ \(Note t cs) -> [Note t (cs++[Note l []])]
                  Edit p l -> on p $ \(Note _ cs) -> [Note l cs]
-                 Delete p -> on p $ \_           -> []
+                 Delete p -> on p $ \(Note _ cs) -> cs
 
     where on is f note = head $ on' is f note
           on' []     f note        = f note