From 6757ab2b41a9dc6c74f6184b8d0846970753e9fc Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Thu, 25 Aug 2011 15:58:38 +0000
Subject: reload command in shell

---
 src/compiler/GF/Command/Commands.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/compiler/GF/Command')

diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs
index e7beec23e..543c05cb2 100644
--- a/src/compiler/GF/Command/Commands.hs
+++ b/src/compiler/GF/Command/Commands.hs
@@ -665,6 +665,10 @@ allCommands env@(pgf, mos) = Map.fromList [
      longname = "quit",
      synopsis = "exit GF interpreter"
      }),
+  ("r",  emptyCommandInfo {
+     longname = "reload",
+     synopsis = "repeat the latest import command"
+     }),
   ("rf",  emptyCommandInfo {
      longname = "read_file",
      synopsis = "read string or tree input from a file",
-- 
cgit v1.2.3