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/PShell.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

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
-- 
cgit v1.2.3