AMADEUS html plain
class UndoCutPrimitive
class UndoCutPrimitive extends Undo
operatsiooni deletePrimitive tagasivõtt
Scheme s;
Caret caretkeep;
Primitive p;
int i;
eemaldatud primitiivi nr (päises või kehas)
UndoCutPrimitive(Scheme ss, Primitive pp, int ii, Caret car)
s = ss;
skeem, milles eemaldatud
i = ii;
selle number ylemuses (harus)
caretkeep = car.make_Copy();
p = pp;
public void undo(Editor ed)
? p instanceof PrimitiveHead
s.head.insertElementAt(p, i);
? ed.isRedoing
ed.stack.push(new UndoInsertHead(s,ed.caret,i));
<======
ed.redoStack.push(new UndoInsertHead(s,ed.caret,i));
<======
s.body.insertElementAt(p, i);
? ed.isRedoing
ed.stack.push(new UndoInsertPrimitive(s,ed.caret,i));
<======
ed.redoStack.push(new UndoInsertPrimitive(s,ed.caret,i));
ed.caret = caretkeep.make_Copy();
karett endisele kohale
planeerida
AmCanvas c = ed.sketchyText.frame.viewArea;
ed.sketchyText.main.view.plan(c.hd, c.vd);
c.caretToScreen();
p.text.invalidate();