AMADEUS html plain
import java.util.*;
class UndoCutHeads
class UndoCutHeads extends Undo
Scheme s;
skeem mille pa"iseid on eemaldatud
Caret caretkeep;
Vector members;
eemaldatud liikmed
int i;
esimese eemaldatud liikme nr ylemuses
int j;
viimase eemaldatud liikme nr ylemuses
UndoCutHeads(Scheme ss, int ii, int jj, Caret car)
konstruktor
s = ss;
i = ii;
j = jj;
members = new Vector();
* int k = i; k <= jj; k++
members.addElement(s.primitiveHead(k));
caretkeep = car.make_Copy();
public void undo(Editor ed)
? ed.isRedoing
ed.stack.push(new UndoInsertHeads(s,i,j-i+1,caretkeep));
<======
ed.redoStack.push(new UndoInsertHeads(s,i,j-i+1,caretkeep));
* int m = 0, k = i; k <= j; k++, m++
Object o = members.elementAt(m);
PrimitiveHead h = (PrimitiveHead)o;
s.insert(h, k);
h.text.invalidate();
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();