diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/SubShell.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/GF/Shell/SubShell.hs b/src/GF/Shell/SubShell.hs index c910d3dd0..1b8a647df 100644 --- a/src/GF/Shell/SubShell.hs +++ b/src/GF/Shell/SubShell.hs @@ -21,7 +21,7 @@ editSession opts st myUniFont = "-mutt-clearlyu-medium-r-normal--0-0-100-100-p-0-iso10646-1" mkOptFont = id -{- ---- + translateSession :: Options -> ShellState -> IO () translateSession opts st = do let grs = allStateGrammars st @@ -40,4 +40,3 @@ translateLoop opts trans = do if s == "." then return () else do putStrLnFlush $ trans s loopLine --} |