From 34ca8208ac9ca06b2a5c1005cfab860e5697071d Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 1 Jun 2006 08:16:21 +0000 Subject: reload = r command --- src/GF/Shell/HelpFile.hs | 3 +++ src/GF/Shell/PShell.hs | 2 +- src/GF/Shell/ShellCommands.hs | 8 ++++++-- 3 files changed, 10 insertions(+), 3 deletions(-) (limited to 'src/GF/Shell') diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index 29f25aef8..a8423979c 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -81,6 +81,9 @@ txtHelpFile = "\n examples:" ++ "\n i English.gf -- ordinary import of Concrete" ++ "\n i -retain german/ParadigmsGer.gf -- import of Resource to test" ++ + "\n" ++ + "\nr, reload: r" ++ + "\n Executes the previous import (i) command." ++ "\n " ++ "\nrl, remove_language: rl Language" ++ "\n Takes away the language from the state." ++ diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index 159910755..68cb4d629 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -157,7 +157,7 @@ pCommand ws = case ws of "es" : [] -> aImpure ICEditSession "ts" : [] -> aImpure ICTranslateSession - + "r" : [] -> aImpure ICReload _ -> (CVoid, []) where diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index a3a0139ea..5c35e3c31 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -97,8 +97,12 @@ data Command = -- to isolate the commands that are executed on top level data ImpureCommand = - ICQuit | ICExecuteHistory FilePath | ICEarlierCommand Int - | ICEditSession | ICTranslateSession + ICQuit + | ICExecuteHistory FilePath + | ICEarlierCommand Int + | ICEditSession + | ICTranslateSession + | ICReload type CommandOpt = (Command, Options) -- cgit v1.2.3