[Fencommits] fenfire-hs: fix changeURI more

[Benja Fallenstein]

Wed Feb 21 14:32:26 EET 2007  Benja Fallenstein <benja.fallenstein at gmail.com>
  * fix changeURI more
diff -rN -u old-fenfire-hs/Fenfire.fhs new-fenfire-hs/Fenfire.fhs
--- old-fenfire-hs/Fenfire.fhs	2007-02-21 14:33:34.000000000 +0200
+++ new-fenfire-hs/Fenfire.fhs	2007-02-21 14:33:34.000000000 +0200
@@ -500,7 +500,8 @@
 stateReplaceNode m n s@(FenState { fsRotation = Rotation node r }) = FenState {
     fsGraph = replaceNode m n (fsGraph s),
     fsRotation = Rotation (f node) r,
-    fsMark = Set.insert n $ Set.delete m $ fsMark s,
+    fsMark = if m `Set.member` fsMark s
+             then Set.insert n $ Set.delete m $ fsMark s else fsMark s,
     fsProperty = f (fsProperty s), fsPropertyList = map f (fsPropertyList s),
     fsGraphModified = True,
     fsFilePath = fsFilePath s, fsHasFocus = fsHasFocus s, fsView = fsView s,