AMADEUS html plain
import java.util.*;
class UndoInsertHeads
class UndoInsertHeads extends Undo
Scheme s;
Caret caretkeep;
int i;
esimese lisatud pa"ise nr skeemi s pa"ises
int j;
lisatud pa"isete arv
UndoInsertHeads(Scheme ss, int ii, int jj, Caret car)
s = ss;
i = ii;
j = jj;
caretkeep = car.make_Copy();
public void undo(Editor ed)
? ed.isRedoing
ed.stack.push(new UndoCutHeads(s,i,i+j-1,caretkeep));
<======
ed.redoStack.push(new UndoCutHeads(s,i,i+j-1,caretkeep));
PrimitiveHead he = s.primitiveHead(i);
* int k = i; k <= (i+j-1); k++
s.removePrimitiveHead(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);