AMADEUS html plain
class UndoDeleteElementAtCaretLeft
class UndoDeleteElementAtCaretLeft extends Undo
Caret caretkeep;
int pi;
Object element;
UndoDeleteElementAtCaretLeft(Caret car, int rowNo, Object elem)
caretkeep = car.make_Copy();
pi = rowNo;
element = elem;
public void undo(Editor ed)
ed.caret = caretkeep.make_Copy();
? pi >= 0
ed.caret.row =
(Row)(ed.caret.primitive.text.rows.elementAt(pi));
? element instanceof Symbol
ed.caret.row.insert((Symbol)element,ed.caret.noInRow);
? ed.isRedoing
ed.stack.push(new UndoInsertCharAtCaretRight(caretkeep,pi,(Symbol)element));
<======
ed.redoStack.push(new UndoInsertCharAtCaretRight(caretkeep,pi,(Symbol)element));
<======
ed.caret.row.planSize();
ed.caret.moveRight();
AmCanvas c = ed.sketchyText.frame.viewArea;
planeerida
ed.sketchyText.main.view.plan(c.hd, c.vd);