From 49f6288350a722837a316f86d1442c59d7ea8fc8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 25 Sep 2003 11:42:20 +0000
Subject: The new tree position annotation, and the corresponding command.

---
 src/GF/Shell/Commands.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index f0bb8c4f4..2f7efa517 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -42,7 +42,9 @@ import Random (newStdGen)
 
 --- temporary hacks for GF 2.0
 
--- abstract command language for syntax editing. AR 22/8/2001
+-- Abstract command language for syntax editing. AR 22/8/2001
+-- Most arguments are strings, to make it easier to receive them from e.g. Java.
+-- See CommandsL for a parser of a command language.
 
 data Command =
    CNewCat G.Cat
@@ -53,6 +55,7 @@ data Command =
  | CPrevMeta
  | CTop
  | CLast
+ | CMovePosition [Int]
  | CRefineWithTree String
  | CRefineWithAtom String
  | CRefineParse String
@@ -206,6 +209,7 @@ execECommand env c = case c of
   CBack n            -> action2command (goBackN n)
   CTop               -> action2command $ return . goRoot
   CLast              -> action2command $ goLast
+  CMovePosition p    -> action2command $ goPosition p
   CNextMeta          -> action2command goNextNewMeta
   CPrevMeta          -> action2command goPrevNewMeta
   CRefineWithAtom s  -> action2commandNext $ \x -> do 
-- 
cgit v1.2.3