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/CommandL.hs | 7 +++++++
 1 file changed, 7 insertions(+)

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

diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs
index 463b3d4e4..d1ba0f7ba 100644
--- a/src/GF/Shell/CommandL.hs
+++ b/src/GF/Shell/CommandL.hs
@@ -63,6 +63,7 @@ pCommand = pCommandWords . words where
     "<<" : _      -> CPrevMeta
     "'" : _       -> CTop
     "+" : _       -> CLast
+    "mp" : p      -> CMovePosition (readIntList (unwords p))
     "r" : f : _   -> CRefineWithAtom f
     "w" : f:i : _ -> CWrapWithFun (strings2Fun f, readIntArg i)
     "ch": f : _   -> CChangeHead (strings2Fun f)
@@ -133,3 +134,9 @@ initEditMsgEmpty env = initEditMsg env +++++ unlines (
 showCurrentState env' state' =
   unlines (tr ++ ["",""] ++ msg ++ ["",""] ++ map fst menu) 
                  where (tr,msg,menu) = displaySStateIn env' state'
+
+-- to read position; borrowed from Prelude; should be elsewhere
+readIntList :: String -> [Int]
+readIntList s = case [x | (x,t) <- reads s, ("","") <- lex t] of
+                  [x] -> x
+                  _   -> []
-- 
cgit v1.2.3