AMADEUS html plain
class UndoIncrementArrow extends Undo
Arrow ar;
int increment;
UndoIncrementArrow(Arrow a, int k)
konstruktor
public void undo(Editor ed)
int unincr;
? increment ==1
unincr = -1;
<======
? ed.isRedoing
ed.stack.push(new UndoIncrementArrow(ar, unincr));
<======
ed.redoStack.push(new UndoIncrementArrow(ar, unincr));
ar.level += increment;
vahetada tüüp
? ar.type == Arrow.STRONG
ar.type = Arrow.WEAK;
<======
//
nooleala ümberjoonistamiseks (võiks täpsemalt):
AmCanvas c = (AmCanvas)(ed.sketchyText.frame.viewArea);
ed.caret.scheme.view.adjustArrowMap(c, ar, (increment == -1));