From efdbf69b9303fb6e1899901f735fd662d6a016e6 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 10 Dec 2008 12:13:01 +0000 Subject: [PATCH] fix in Editor --- src/PGF/Editor.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/PGF/Editor.hs b/src/PGF/Editor.hs index ca268d530..5c693cc96 100644 --- a/src/PGF/Editor.hs +++ b/src/PGF/Editor.hs @@ -123,12 +123,12 @@ down = (++[0]) left :: Position -> Position left p = case p of - (n:ns) | n > 0 -> n-1 : ns + _:_ | last p > 0 -> init p ++ [last p - 1] _ -> top right :: Position -> Position right p = case p of - (n:ns) -> n+1 : ns + _:_ -> init p ++ [last p + 1] _ -> top etree2state :: ETree -> State