diff options
Diffstat (limited to 'src/GF/Fudgets/UnicodeF.hs')
| -rw-r--r-- | src/GF/Fudgets/UnicodeF.hs | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/GF/Fudgets/UnicodeF.hs b/src/GF/Fudgets/UnicodeF.hs new file mode 100644 index 000000000..22a250658 --- /dev/null +++ b/src/GF/Fudgets/UnicodeF.hs @@ -0,0 +1,23 @@ +module UnicodeF where +import Fudgets + +import Operations +import Unicode + +-- AR 12/4/2000, 18/9/2001 (added font parameter) + +fudlogueWriteU :: String -> (String -> String) -> IO () +fudlogueWriteU fn trans = + fudlogue $ + shellF "GF Unicode Output" (writeF fn trans >+< quitButtonF) + +writeF fn trans = writeOutputF fn >==< mapF trans >==< writeInputF fn + +displaySizeP = placerF (spacerP (sizeS (Point 440 500)) verticalP) + +writeOutputF fn = moreF' (setFont fn) >==< justWriteOutputF + +justWriteOutputF = mapF (map (wrapLines 0) . filter (/=[]) . map mkUnicode . lines) + +writeInputF fn = stringInputF' (setShowString mkUnicode . setFont fn) + |
