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