AMADEUS html plain
class UndoInsertHead
class UndoInsertHead extends Undo
Scheme s;
Caret caretkeep;
int pi;
operatsiooni insertHead tagasivõtt
UndoInsertHead(Scheme ss, Caret car, int ii)
s = ss;
skeem, mille päisesse on pandud
caretkeep = car.make_Copy();
pi = ii;
public void undo(Editor ed)
? ed.isRedoing
ed.stack.push(new UndoCutPrimitive(s,s.primitiveHead(pi),pi,ed.caret));
<======
ed.redoStack.push(new UndoCutPrimitive(s,s.primitiveHead(pi),pi,ed.caret));
ed.caret = caretkeep.make_Copy();
karett endisele kohale
PrimitiveHead h = s.primitiveHead(pi);
s.removePrimitiveHead(pi);
eemaldada lisatud päis
planeerida
AmCanvas c = ed.sketchyText.frame.viewArea;
ed.sketchyText.main.view.plan(c.hd, c.vd);