[Fencommits] fenfire-hs: remove rdfs:label from property list ui

[Tuukka Hastrup]

Tue Apr 22 03:02:41 EEST 2008  Tuukka Hastrup <Tuukka.Hastrup at iki.fi>
  * remove rdfs:label from property list ui

    M ./Fenfire.fhs -1 +2

Tue Apr 22 03:02:41 EEST 2008  Tuukka Hastrup <Tuukka.Hastrup at iki.fi>
  * remove rdfs:label from property list ui
diff -rN -u old-fenfire-hs/Fenfire.fhs new-fenfire-hs/Fenfire.fhs
--- old-fenfire-hs/Fenfire.fhs	2008-04-22 03:05:40.296096000 +0300
+++ new-fenfire-hs/Fenfire.fhs	2008-04-22 03:05:40.394028000 +0300
@@ -276,7 +276,8 @@
 newState :: Graph -> Path -> FilePath -> Bool -> FenState
 newState graph path fp focus = 
     FenState graph path Set.empty fp False focus 0 rdfs_seeAlso ps [] []
-    where ps = Set.insert rdfs_seeAlso $ query (Any,X,Any) graph
+    where ps = Set.insert rdfs_seeAlso $ Set.delete rdfs_label
+                   $ query (Any, X, Any) graph
 
 stateReplaceNode :: Node -> Node -> Endo FenState
 stateReplaceNode m n s@(FenState { fsPath = Path node cs }) = FenState {