reload = r command

2006-06-01 08:16:21 +00:00
parent 5e665fa2ac
commit 34ca8208ac
5 changed files with 27 additions and 4 deletions
--- 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