AMADEUS html plain
import java.util.*;
import java.awt.*;
class UndoToggleColorInPrimitive extends Undo
Vector colors;
vanad värvid
Primitive primitive;
UndoToggleColorInPrimitive(Primitive p)
colors = new Vector();
primitive = p;
Text t = primitive.text;
Row r;
int n = t.rows.size();
* int i = 0; i < n; i++
r = t.row(i);
int m = r.elements.size();
* int j = 0; j < m; j++
r.getElement(j);
? r.sy != null
colors.addElement(r.sy.color);
r = primitive.text.comment;
int m = r.elements.size();
* int j = 0; j < m; j++
r.getElement(j);
? r.sy != null
colors.addElement(r.sy.color);
public void undo(Editor ed)
? ed.isRedoing
ed.stack.push(new UndoToggleColorInPrimitive(primitive));
<======
ed.redoStack.push(new UndoToggleColorInPrimitive(primitive));
Text t = primitive.text;
Row r;
int n = t.rows.size();
int m = 0;
indeks vektoril 'colors'
* int i = 0; i < n; i++
r = t.row(i);
int k = r.elements.size();
* int j = 0; j < k; j++
r.getElement(j);
? r.sy != null
r.sy.color = (Color)(colors.elementAt(m++));
r = primitive.text.comment;
int k = r.elements.size();
* int j = 0; j < k; j++
r.getElement(j);
? r.sy != null
r.sy.color = (Color)(colors.elementAt(m++));