AMADEUS html plain
class UndoDeleteElementAtCaretRight
class UndoDeleteElementAtCaretRight extends Undo
Caret caretkeep;
int pi;
Object element;
UndoDeleteElementAtCaretRight(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.caret.row.planSize();
AmCanvas c = ed.sketchyText.frame.viewArea;
planeerida
ed.sketchyText.main.view.plan(c.hd, c.vd);