From 34ca8208ac9ca06b2a5c1005cfab860e5697071d Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 1 Jun 2006 08:16:21 +0000
Subject: reload = r command

---
 src/GF/Shell/ShellCommands.hs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/GF/Shell/ShellCommands.hs')

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