AMADEUS html plain
import java.awt.*;
class UndoEncloseOuter extends Undo
Sketch s;
Caret caretkeep;
UndoEncloseOuter(Sketch ss, Caret car)
s = ss;
uude välimisse võetu
caretkeep = car.make_Copy();
public void undo(Editor ed)
sisemise nooled lühemaks:
s.incrementArrows(-2);
sisemine välimiseks:
ed.sketchyText.main = s;
ed.sketchyText.affected = s;
s.parent = null;
ed.caret = caretkeep.make_Copy();
karett endisele kohale
planeerida:
AmCanvas c = ed.sketchyText.frame.viewArea;
ed.sketchyText.main.view.plan(c.hd, c.vd);