summaryrefslogtreecommitdiff
path: root/src/GF
diff options
context:
space:
mode:
authoraarne <unknown>2004-09-24 16:04:04 +0000
committeraarne <unknown>2004-09-24 16:04:04 +0000
commitff2a2895c08b667894b565c8d39f0bf63d85492a (patch)
tree74fcc69d499d962c61916fed4e7941851eb0ceea /src/GF
parent33ea630d4d431045c13e96c51e953ce0bafb4f0f (diff)
gfcc
Diffstat (limited to 'src/GF')
-rw-r--r--src/GF/Shell/Commands.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index 09f9b5f78..b1f43ddbe 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -248,6 +248,8 @@ execECommand env c = case c of
CSelectCand i -> selectCand cgr i
CTermCommand c -> case c of
+ "reindex" -> \s ->
+ replaceByTermCommand der gr c (actTree (stateSState s)) s
"paraphrase" -> \s ->
replaceByTermCommand der gr c (actTree (stateSState s)) s
---- "transfer" -> action2commandNext $