AMADEUS html plain
import java.awt.*;
class UndoTogglePrimitive
class UndoTogglePrimitive extends Undo
Color colorkeep;
Primitive primitive;
byte prevType;
Caret caretkeep;
int no;
UndoTogglePrimitive(Primitive p)
päise tyyp
primitive = p;
prevType = p.type;
no = -999;
UndoTogglePrimitive(Primitive p, Color col)
primitive = p;
colorkeep = col;
prevType = p.type;
caretkeep = null;
UndoTogglePrimitive(Caret caret, Color col, int n)
caretkeep = caret.make_Copy();
colorkeep = col;
no = n;
public void undo(Editor ed)
AmCanvas c = ed.sketchyText.frame.viewArea;
? no == -999
? ed.isRedoing
ed.stack.push(new UndoTogglePrimitive(primitive));
<======
ed.redoStack.push(new UndoTogglePrimitive(primitive));
taastada tyyp
primitive.type = prevType;
<======
? caretkeep == null
? colorkeep != null
primitive.text.setColor(colorkeep);
taastada tyyp
primitive.type = prevType;
primitive.text.invalidate();
<======
? colorkeep != null
caretkeep.primitive.text.setColor(colorkeep);
caretkeep.scheme.body.removeElementAt(no);
caretkeep.scheme.body.insertElementAt(
caretkeep.primitive, no);
caretkeep.primitive.text.invalidate();
ed.caret = caretkeep.make_Copy();
karett endisele kohale