@@ -11,7 +11,7 @@ import Guid
12str2elem = hasType (string ==> element) [ "image","video","plainText" ]
12str2elem = hasType (string ==> element) [ "image","video","plainText" ]
14−textToText = ["header", "italic", "bold", "underline"
14+textToText = [ "header", "italic", "bold", "underline"
15 , "overline", "strikeThrough", "monospace" ]
15 , "overline", "strikeThrough", "monospace" ]
17textAttrs = [ "toText" -: string ==> text
17textAttrs = [ "toText" -: string ==> text
@@ -102,5 +102,4 @@ lists = liftM (map (first ("List."++)) . (++ints)) . sequence $
103hints = do
103hints = do
104 fs <- funcs ; ls <- lists
104 fs <- funcs ; ls <- lists
105− return $ fs ++ ls ++ math ++ bool
106− {--++ str2elem ++ textAttrs ++ elements--}
105+ return $ fs ++ ls ++ math ++ bool ++ str2elem ++ textAttrs ++ elements