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